Author of the publication

Random constraint satisfaction: Easy generation of hard (satisfiable) instances.

, , , and . Artif. Intell., 171 (8-9): 514-534 (2007)

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)Solving the cyclic job shop scheduling problem with linear precedence constraints using CP techniques., , and . SMC (2), page 6. IEEE, (2002)XCSP3 and its ecosystem., , , , and . Constraints An Int. J., 25 (1-2): 47-69 (2020)Backjump-Based Techniques versus Conflict-Directed Heuristics., , and . ICTAI, page 549-557. IEEE Computer Society, (2004)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)XCSP3-core: A Format for Representing Constraint Satisfaction/Optimization Problems., , , and . CoRR, (2020)A Simple Model to Generate Hard Satisfiable Instances., , , and . IJCAI, page 337-342. Professional Book Center, (2005)Support Inference for Generic Filtering., , , and . CP, volume 3258 of Lecture Notes in Computer Science, page 721-725. Springer, (2004)