Author of the publication

Comparative studies of constraint satisfaction and Davis-Putnam algorithms for maximum satisfiabilitv problems.

, and . Cliques, Coloring, and Satisfiability, volume 26 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 587-615. DIMACS/AMS, (1993)

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

Trying Again to Fail-First., , and . CSCLP, volume 3419 of Lecture Notes in Computer Science, page 41-55. Springer, (2004)An Algorithm for Finding Robust and Stable Solutions for Constraint Satisfaction Problems with Discrete and Ordered Domains., , , and . ICTAI, page 874-879. IEEE Computer Society, (2012)Deriving Explanations and Implications for Constraint Satisfaction Problems., , and . CP, volume 2239 of Lecture Notes in Computer Science, page 585-589. Springer, (2001)The Adaptive Constraint Engine., , , , and . CP, volume 2470 of Lecture Notes in Computer Science, page 525-542. Springer, (2002)Variable Ordering Heuristics Show Promise., , and . CP, volume 3258 of Lecture Notes in Computer Science, page 711-715. Springer, (2004)Branching Rules for Satisfiability Analysed with Factor Analysis., and . Australian Conference on Artificial Intelligence, volume 4830 of Lecture Notes in Computer Science, page 803-809. Springer, (2007)Neighbourhood SAC: Extensions and new algorithms.. AI Commun., 29 (2): 249-268 (2016)A New Approach to Optimization with Life Cycle Assessment: Combining Optimization with Detailed Process Simulation., , , and . ICCSA (3), volume 8581 of Lecture Notes in Computer Science, page 707-720. Springer, (2014)Conditional lexicographic orders in constraint satisfaction problems., and . Ann. Oper. Res., 171 (1): 3-25 (2009)Determining the Principles Underlying Performance Variation in CSP Heuristics.. Int. J. Artif. Intell. Tools, 17 (5): 857-880 (2008)