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

Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation)., and . SAT, volume 7317 of Lecture Notes in Computer Science, page 496-497. Springer, (2012)Computational protein design as an optimization problem., , , , , , , , , and . Artif. Intell., (2014)Guaranteed Diversity & Quality for the Weighted CSP., , , , , and . ICTAI, page 18-25. IEEE, (2019)Symmetries of Symmetry Breaking Constraints., and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 861-866. IOS Press, (2010)Finding a Collection of MUSes Incrementally., and . CPAIOR, volume 9676 of Lecture Notes in Computer Science, page 35-44. Springer, (2016)Reasoning about Connectivity Constraints., , , and . IJCAI, page 2568-2574. AAAI Press, (2015)Constraint and Satisfiability Reasoning for Graph Coloring., and . J. Artif. Intell. Res., (2020)Virtual Pairwise Consistency in Cost Function Networks., , , , and . CPAIOR, volume 13884 of Lecture Notes in Computer Science, page 417-426. Springer, (2023)A Hybrid Approach for Exact Coloring of Massive Graphs., and . CPAIOR, volume 11494 of Lecture Notes in Computer Science, page 374-390. Springer, (2019)Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers., , , and . AAAI, page 481-488. AAAI Press, (2013)