Author of the publication

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

The Smodels System., and . LPNMR, volume 2173 of Lecture Notes in Computer Science, page 434-438. Springer, (2001)Incorporating Learning in Grid-Based Randomized SAT Solving., , and . AIMSA, volume 5253 of Lecture Notes in Computer Science, page 247-261. Springer, (2008)GNT - A Solver for Disjunctive Logic Programs., and . LPNMR, volume 2923 of Lecture Notes in Computer Science, page 331-335. Springer, (2004)A Distribution Method for Solving SAT in Grids., , and . SAT, volume 4121 of Lecture Notes in Computer Science, page 430-435. Springer, (2006)Answer Set Programming without Unstratified Negation.. ICLP, volume 5366 of Lecture Notes in Computer Science, page 88-92. Springer, (2008)On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic.. CSL, volume 385 of Lecture Notes in Computer Science, page 226-239. Springer, (1988)Classifying and Propagating Parity Constraints., , and . CP, volume 7514 of Lecture Notes in Computer Science, page 357-372. Springer, (2012)Introducing Real Variables and Integer Objective Functions to Answer Set Programming., , and . KDPD, volume 8439 of Lecture Notes in Computer Science, page 118-135. Springer, (2013)Conflict-Driven XOR-Clause Learning (extended version)., , and . CoRR, (2014)Extending Clause Learning SAT Solvers with Complete Parity Reasoning (extended version), , and . CoRR, (2012)