RecordNumber
126
Author
Graeme Gange, Peter J. Stuckey, Vitaly Lagoon
Title of Article
Fast Set Bounds Propagation Using a BDD-SAT Hybrid
Title Of Journal
Journal of Artificial Intelligence Research
Publication Year
2010
Volum
38
Page
307-338
Notes
براي دانلودو مشاهده مقاله به قسمت لينكهاي مرتبط مراجعه نماييد
URL
www.aaai.org/Papers/JAIR/Vol38/JAIR-3808.pdf,/DL/Data Entry/DataEntryForm/EnterDocInfo.aspx,/DL/Data Entry/NewEdit/Documents/Math_English_Electronic_Articles_EditDoc_925.aspx