Building Structure into Local Search for SAT

Duc Nghia Pham, John Thornton, Abdul Sattar. Building Structure into Local Search for SAT. In Manuela M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. pages 2359-2364, 2007. [doi]

@inproceedings{PhamTS07,
  title = {Building Structure into Local Search for SAT},
  author = {Duc Nghia Pham and John Thornton and Abdul Sattar},
  year = {2007},
  url = {http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-380.pdf},
  tags = {search},
  researchr = {https://researchr.org/publication/PhamTS07},
  cites = {0},
  citedby = {0},
  pages = {2359-2364},
  booktitle = {IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
  editor = {Manuela M. Veloso},
}