Author of the publication

Clause Learning and New Bounds for Graph Coloring.

, and . CP, volume 11008 of Lecture Notes in Computer Science, page 179-194. Springer, (2018)

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

Computational protein design as an optimization problem., , , , , , , , , and . Artif. Intell., (2014)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)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)Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers., , , and . AAAI, page 481-488. AAAI Press, (2013)A Hybrid Approach for Exact Coloring of Massive Graphs., and . CPAIOR, volume 11494 of Lecture Notes in Computer Science, page 374-390. Springer, (2019)