Author of the publication

A Simple Model to Generate Hard Satisfiable Instances.

, , , and . IJCAI, page 337-342. Professional Book Center, (2005)

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

Extracting MUCs from Constraint Networks., , , and . ECAI, volume 141 of Frontiers in Artificial Intelligence and Applications, page 113-117. IOS Press, (2006)XCSP3 and its ecosystem., , , , and . Constraints An Int. J., 25 (1-2): 47-69 (2020)Solving the cyclic job shop scheduling problem with linear precedence constraints using CP techniques., , and . SMC (2), page 6. IEEE, (2002)Backjump-Based Techniques versus Conflict-Directed Heuristics., , and . ICTAI, page 549-557. IEEE Computer Society, (2004)A Simple Model to Generate Hard Satisfiable Instances., , , and . IJCAI, page 337-342. Professional Book Center, (2005)XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems., , , and . CoRR, (2020)XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems., , and . CoRR, (2016)AbsCon: A Prototype to Solve CSPs with Abstraction., , and . CP, volume 2239 of Lecture Notes in Computer Science, page 730-744. Springer, (2001)Combining Nogoods in Restart-Based Search., , , , and . CP, volume 10416 of Lecture Notes in Computer Science, page 129-138. Springer, (2017)Support Inference for Generic Filtering., , , and . CP, volume 3258 of Lecture Notes in Computer Science, page 721-725. Springer, (2004)