-
RecordNumber
132
-
Author
Andreas Schutt, Peter J. Stuckey
-
Title of Article
Incremental Satisability and Implication for UTVPI Constraints
-
Keywords
unit two variable per inequality constraints , satisfaction , implication
-
Notes
براي دانلودو مشاهده مقاله به قسمت لينكهاي مرتبط مراجعه نماييد
-
URL
,/DL/Data Entry/DataEntryForm/EnterDocInfo.aspx,/DL/Data Entry/NewEdit/Documents/Math_English_Electronic_Articles_EditDoc_925.aspx
-
Link To Document :
