Jeremias Berg - RankMe

50 papers A* 7A 23B 6Journal 7Unranked 6

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach. AAAI Hannes Ihalainen, Dieter Vandesande, André Schidler, Jeremias Berg, Bart Bogaerts, Matti Järvisalo
2026	A*	`conf`	Ordered Objectives in Maximum Satisfiability. AAAI Jeremias Berg, André Schidler, Matti Järvisalo
2025	A	`ed.`	28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, Glasgow, Scotland, August 12-15, 2025 SAT Jeremias Berg, Jakob Nordström
2025	—	`conf`	Certifying Pareto-Optimality in Multi Objective Maximum Satisfiability. TACAS (2) Christoph Jabs, Jeremias Berg, Bart Bogaerts, Matti Järvisalo
2025	J	`jnl`	Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability. CoRR Christoph Jabs, Jeremias Berg, Bart Bogaerts, Matti Järvisalo
2025	J	`jnl`	Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach. CoRR Hannes Ihalainen, Dieter Vandesande, André Schidler, Jeremias Berg, Bart Bogaerts, Matti Järvisalo
2025	—	`conf`	Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers. JELIA (1) Christoph Jabs, Jeremias Berg, Matti Järvisalo
2025	A	`conf`	SLS-Enhanced Core-Boosted Linear Search for Anytime Maximum Satisfiability. CP Ole Lübke, Jeremias Berg
2025	A	`conf`	Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets. CP Hannes Ihalainen, Jeremias Berg, Matti Järvisalo, Bart Bogaerts
2024	—	`conf`	Certified MaxSAT Preprocessing. IJCAR (1) Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Magnus O. Myreen, Jakob Nordström
2024	J	`jnl`	Certified MaxSAT Preprocessing. CoRR Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Jakob Nordström
2024	A	`conf`	Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability. CP Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Tobias Paxian, Dieter Vandesande
2024	—	`conf`	Core Boosting in SAT-Based Multi-objective Optimization. CPAIOR (2) Christoph Jabs, Jeremias Berg, Matti Järvisalo
2024	J	`jnl`	From Single-Objective to Bi-Objective Maximum Satisfiability Solving. J. Artif. Intell. Res. Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo
2024	J	`jnl`	Unifying SAT-Based Approaches to Maximum Satisfiability Solving. J. Artif. Intell. Res. Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
2023	A	`conf`	Certified Core-Guided MaxSAT Solving. CADE Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Dieter Vandesande
2023	A	`conf`	Oracle-Based Local Search for Pseudo-Boolean Optimization. ECAI Ashlin Iser, Jeremias Berg, Matti Järvisalo
2023	A	`conf`	Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. CP Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Järvisalo
2023	A*	`conf`	Unifying Core-Guided and Implicit Hitting Set Based Optimization. IJCAI Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
2022	A	`conf`	Clause Redundancy and Preprocessing in Maximum Satisfiability. IJCAR Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
2022	B	`conf`	Computing Smallest MUSes of Quantified Boolean Formulas. LPNMR Andreas Niskanen, Jere Mustonen, Jeremias Berg, Matti Järvisalo
2022	A	`conf`	Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization. SAT Pavel Smirnov, Jeremias Berg, Matti Järvisalo
2022	A	`conf`	Incremental Maximum Satisfiability. SAT Andreas Niskanen, Jeremias Berg, Matti Järvisalo
2022	A	`conf`	MaxSAT-Based Bi-Objective Boolean Optimization. SAT Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo
2021	A*	`conf`	Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract). IJCAI Jeremias Berg, Fahiem Bacchus, Alex Poole
2021	A	`conf`	Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights. CP Andreas Niskanen, Jeremias Berg, Matti Järvisalo
2021	A	`conf`	Pseudo-Boolean Optimization by Implicit Hitting Sets. CP Pavel Smirnov, Jeremias Berg, Matti Järvisalo
2021	A	`conf`	Refined Core Relaxation for Core-Guided MaxSAT Solving. CP Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
2020	A	`conf`	Abstract Cores in Implicit Hitting Set MaxSat Solving. SAT Jeremias Berg, Fahiem Bacchus, Alex Poole
2020	B	`conf`	Core-Guided and Core-Boosted Search for CP. CPAIOR Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey
2020	A	`conf`	Preprocessing in Incomplete MaxSAT Solving. ECAI Marcus Leivo, Jeremias Berg, Matti Järvisalo
2019	B	`conf`	Core-Boosted Linear Search for Incomplete MaxSAT. CPAIOR Jeremias Berg, Emir Demirovic, Peter J. Stuckey
2019	A*	`conf`	Enumerating Potential Maximal Cliques via SAT and ASP. IJCAI Tuukka Korhonen, Jeremias Berg, Matti Järvisalo
2019	J	`jnl`	Solving Graph Problems via Potential Maximal Cliques: An Experimental Evaluation of the Bouchitté-Todinca Algorithm. ACM J. Exp. Algorithmics Tuukka Korhonen, Jeremias Berg, Matti Järvisalo
2019	B	`conf`	Unifying Reasoning and Core-Guided Search for Maximum Satisfiability. JELIA Jeremias Berg, Matti Järvisalo
2018	—	`conf`	Applications of MaxSAT in Data Analysis. POS@SAT Jeremias Berg, Antti Hyttinen, Matti Järvisalo
2018	—	`—`	Solving Optimization Problems via Maximum Satisfiability: Encodings and Re-Encodings. Jeremias Berg
2017	J	`jnl`	Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability. Artif. Intell. Jeremias Berg, Matti Järvisalo
2017	A	`conf`	MaxPre: An Extended MaxSAT Preprocessor. SAT Tuukka Korhonen, Jeremias Berg, Paul Saikko, Matti Järvisalo
2017	A	`conf`	Minimum-Width Confidence Bands via Constraint Optimization. CP Jeremias Berg, Emilia Oikarinen, Matti Järvisalo, Kai Puolamäki
2017	A	`conf`	Weight-Aware Core Extraction in SAT-Based MaxSAT Solving. CP Jeremias Berg, Matti Järvisalo
2016	A	`conf`	Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving. CP Jeremias Berg, Matti Järvisalo
2016	A	`conf`	LMHS: A SAT-IP Hybrid MaxSAT Solver. SAT Paul Saikko, Jeremias Berg, Matti Järvisalo
2016	A	`conf`	Subsumed Label Elimination for Maximum Satisfiability. ECAI Jeremias Berg, Paul Saikko, Matti Järvisalo
2015	A*	`conf`	Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT. IJCAI Jeremias Berg, Paul Saikko, Matti Järvisalo
2015	B	`conf`	Re-using Auxiliary Variables for MaxSAT Preprocessing. ICTAI Jeremias Berg, Paul Saikko, Matti Järvisalo
2014	A	`conf`	Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability. AISTATS Jeremias Berg, Matti Järvisalo, Brandon M. Malone
2014	A*	`conf`	Optimal Neighborhood Preserving Visualization by Maximum Satisfiability. AAAI Kerstin Bunte, Matti Järvisalo, Jeremias Berg, Petri Myllymäki, Jaakko Peltonen, Samuel Kaski
2014	B	`conf`	SAT-Based Approaches to Treewidth Computation: An Evaluation. ICTAI Jeremias Berg, Matti Järvisalo
2013	—	`conf`	Optimal Correlation Clustering via MaxSAT. ICDM Workshops Jeremias Berg, Matti Järvisalo