Balance and Filtering in Structured Satisfiable Problems

@inproceedings{Kautz2001BalanceAF,
  title={Balance and Filtering in Structured Satisfiable Problems},
  author={Henry A. Kautz and Yongshao Ruan and Dimitris Achlioptas and Carla P. Gomes and Bart Selman and Mark E. Stickel},
  booktitle={IJCAI},
  year={2001}
}
New methods to generate hard random problem instances have driven progress on algorithms for deduction and constraint satisfaction. Recently Achlioptas et al. (AAAI 2000) introduced a new generator based on Latin squares that creates only satisfiable problems, and so can be used to accurately test incomplete (one sided) solvers. We investigate how this and other generators are biased away from the uniform distribution of satisfiable problems and show how they can be improved by imposing a… CONTINUE READING