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