The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jeremias Berg" ( http://dblp.L3S.de/Authors/Jeremias_Berg )

URL (Homepage):  https://orcid.org/0000-0001-7660-8061  Author page on DBLP  Author page in RDF  Community of Jeremias Berg in ASPL-2

Publication years (Num. hits)
2013-2019 (17)
Publication types (Num. hits)
article(1) inproceedings(16)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 18 publication records. Showing 17 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jeremias Berg, Emir Demirovic, Peter J. Stuckey Core-Boosted Linear Search for Incomplete MaxSAT. Search on Bibsonomy CPAIOR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Matti Järvisalo Unifying Reasoning and Core-Guided Search for Maximum Satisfiability. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tuukka Korhonen, Jeremias Berg, Matti Järvisalo Enumerating Potential Maximal Cliques via SAT and ASP. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Antti Hyttinen, Matti Järvisalo Applications of MaxSAT in Data Analysis. Search on Bibsonomy POS@SAT The full citation details ... 2018 DBLP  BibTeX  RDF
1Jeremias Berg, Matti Järvisalo Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tuukka Korhonen, Jeremias Berg, Paul Saikko, Matti Järvisalo MaxPre: An Extended MaxSAT Preprocessor. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Emilia Oikarinen, Matti Järvisalo, Kai Puolamäki Minimum-Width Confidence Bands via Constraint Optimization. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Matti Järvisalo Weight-Aware Core Extraction in SAT-Based MaxSAT Solving. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Paul Saikko, Matti Järvisalo Subsumed Label Elimination for Maximum Satisfiability. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paul Saikko, Jeremias Berg, Matti Järvisalo LMHS: A SAT-IP Hybrid MaxSAT Solver. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Matti Järvisalo Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Paul Saikko, Matti Järvisalo Re-using Auxiliary Variables for MaxSAT Preprocessing. Search on Bibsonomy ICTAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Paul Saikko, Matti Järvisalo Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Kerstin Bunte, Matti Järvisalo, Jeremias Berg, Petri Myllymäki, Jaakko Peltonen, Samuel Kaski Optimal Neighborhood Preserving Visualization by Maximum Satisfiability. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Jeremias Berg, Matti Järvisalo SAT-Based Approaches to Treewidth Computation: An Evaluation. Search on Bibsonomy ICTAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jeremias Berg, Matti Järvisalo, Brandon M. Malone Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability. Search on Bibsonomy AISTATS The full citation details ... 2014 DBLP  BibTeX  RDF
1Jeremias Berg, Matti Järvisalo Optimal Correlation Clustering via MaxSAT. Search on Bibsonomy ICDM Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #17 of 17 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license