( en | de | ru )

 

Disambiguation of "Berg, Jeremias"

Author of the publication

copydeleteadd this publication to your clipboard
Core-Guided and Core-Boosted Search for CP.

, , , and . CPAIOR, volume 12296 of Lecture Notes in Computer Science, page 205-221. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kurt Jeremias

Gert Jeremias

Günther Jeremias

Jeremias Levy

Johannes Jeremias

 

Other publications of authors with the same name

Preprocessing in Incomplete MaxSAT Solving., , and . ECAI, volume 325 of Frontiers in Artificial Intelligence and Applications, page 347-354. IOS Press, (2020)Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization., , , and . CP, volume 280 of LIPIcs, page 18:1-18:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Pseudo-Boolean Optimization by Implicit Hitting Sets., , and . CP, volume 210 of LIPIcs, page 51:1-51:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Solving Graph Problems via Potential Maximal Cliques: An Experimental Evaluation of the Bouchitté-Todinca Algorithm., , and . ACM J. Exp. Algorithmics, 24 (1): 1.9:1-1.9:19 (2019)Refined Core Relaxation for Core-Guided MaxSAT Solving., , and . CP, volume 210 of LIPIcs, page 28:1-28:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Enumerating Potential Maximal Cliques via SAT and ASP., , and . IJCAI, page 1116-1122. ijcai.org, (2019)Abstract Cores in Implicit Hitting Set MaxSat Solving., , and . SAT, volume 12178 of Lecture Notes in Computer Science, page 277-294. Springer, (2020)Core-Guided and Core-Boosted Search for CP., , , and . CPAIOR, volume 12296 of Lecture Notes in Computer Science, page 205-221. Springer, (2020)Certified Core-Guided MaxSAT Solving., , , , and . CADE, volume 14132 of Lecture Notes in Computer Science, page 1-22. Springer, (2023)Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization., , and . SAT, volume 236 of LIPIcs, page 13:1-13:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)