Author of the publication

Declarative Local Search for Predicate Logic.

, , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 340-346. Springer, (2019)

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.

 

Other publications of authors with the same name

Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning., , , , and . FMCAD, page 194-204. IEEE, (2020)Watched Propagation of 0-1 Integer Linear Constraints.. CP, volume 12333 of Lecture Notes in Computer Science, page 160-176. Springer, (2020)CosySEL: Improving SAT Solving Using Local Symmetries., , , and . VMCAI, volume 13881 of Lecture Notes in Computer Science, page 252-266. Springer, (2023)Declarative Local Search for Predicate Logic., , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 340-346. Springer, (2019)Theoretical and Experimental Results for Planning with Learned Binarized Neural Network Transition Models., , , and . CP, volume 12333 of Lecture Notes in Computer Science, page 917-934. Springer, (2020)Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning., , , , and . AAAI, page 3750-3758. AAAI Press, (2021)Simplifying Step-Wise Explanation Sequences., , , , and . CP, volume 280 of LIPIcs, page 11:1-11:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Legislation in the Knowledge Base Paradigm: Interactive Decision Enactment for Registration Duties., , , and . ICSC, page 174-177. IEEE, (2019)Mutational Fuzz Testing for Constraint Modeling Systems., , , , , and . CP, volume 307 of LIPIcs, page 29:1-29:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)