ML Anthology

Backjumping for Quantified Boolean Logic Satisfiability

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
IJCAI 2001 pp. 275-281
doi:10.1016/S0004-3702(02)00373-9 /ijcai/2001/giunchiglia2001ijcai-backjumping/
PDF Semantic Scholar

Cite

Text

Giunchiglia et al. "Backjumping for Quantified Boolean Logic Satisfiability." International Joint Conference on Artificial Intelligence, 2001. doi:10.1016/S0004-3702(02)00373-9

Markdown

[Giunchiglia et al. "Backjumping for Quantified Boolean Logic Satisfiability." International Joint Conference on Artificial Intelligence, 2001.](https://mlanthology.org/ijcai/2001/giunchiglia2001ijcai-backjumping/) doi:10.1016/S0004-3702(02)00373-9

BibTeX

@inproceedings{giunchiglia2001ijcai-backjumping,
  title     = {{Backjumping for Quantified Boolean Logic Satisfiability}},
  author    = {Giunchiglia, Enrico and Narizzano, Massimo and Tacchella, Armando},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2001},
  pages     = {275-281},
  doi       = {10.1016/S0004-3702(02)00373-9},
  url       = {https://mlanthology.org/ijcai/2001/giunchiglia2001ijcai-backjumping/}
}