-
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
-
Link To Document :
