Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi. SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. In Manuela M. Veloso, Subbarao Kambhampati, editors, Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA. pages 455-460, AAAI Press / The MIT Press, 2005.
@inproceedings{PhamTSI05,
title = {SAT-Based versus CSP-Based Constraint Weighting for Satisfiability},
author = {Duc Nghia Pham and John Thornton and Abdul Sattar and Abdelraouf Ishtaiwi},
year = {2005},
tags = {rule-based, constraints},
researchr = {https://researchr.org/publication/PhamTSI05},
cites = {0},
citedby = {0},
pages = {455-460},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA},
editor = {Manuela M. Veloso and Subbarao Kambhampati},
publisher = {AAAI Press / The MIT Press},
isbn = {1-57735-236-X},
}