ML Anthology

Balance and Filtering in Structured Satisfiable Problems

Henry A. Kautz, Yongshao Ruan, Dimitris Achlioptas, Carla P. Gomes, Bart Selman, Mark E. Stickel
IJCAI 2001 pp. 351-358
/ijcai/2001/kautz2001ijcai-balance/
Semantic Scholar

Cite

Text

Kautz et al. "Balance and Filtering in Structured Satisfiable Problems." International Joint Conference on Artificial Intelligence, 2001.

Markdown

[Kautz et al. "Balance and Filtering in Structured Satisfiable Problems." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/kautz2001ijcai-balance/)

BibTeX

@inproceedings{kautz2001ijcai-balance,
  title     = {{Balance and Filtering in Structured Satisfiable Problems}},
  author    = {Kautz, Henry A. and Ruan, Yongshao and Achlioptas, Dimitris and Gomes, Carla P. and Selman, Bart and Stickel, Mark E.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2001},
  pages     = {351-358},
  url       = {https://mlanthology.org/ijcai/2001/kautz2001ijcai-balance/}
}