: Compiling problem specifications into SAT

@article{Cadoli2005CP,
  title={: Compiling problem specifications into SAT},
  author={Marco Cadoli and Andrea Schaerf},
  journal={Artif. Intell.},
  year={2005},
  volume={162},
  pages={89-120}
}

From This Paper

Topics from this paper.