ML Anthology

A Modularity-Based Random SAT Instances Generator

Jesús Giráldez-Cru, Jordi Levy
IJCAI 2015 pp. 1952-1958
/ijcai/2015/giraldezcru2015ijcai-modularity/
IJCAI Semantic Scholar

Cite

Text

Giráldez-Cru and Levy. "A Modularity-Based Random SAT Instances Generator." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Giráldez-Cru and Levy. "A Modularity-Based Random SAT Instances Generator." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/giraldezcru2015ijcai-modularity/)

BibTeX

@inproceedings{giraldezcru2015ijcai-modularity,
  title     = {{A Modularity-Based Random SAT Instances Generator}},
  author    = {Giráldez-Cru, Jesús and Levy, Jordi},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {1952-1958},
  url       = {https://mlanthology.org/ijcai/2015/giraldezcru2015ijcai-modularity/}
}