Scan barcode
80 pages • missing pub info (editions)
ISBN/UID: 9783639147384
Format: Paperback
Language: English
Publisher: VDM Verlag
Publication date: 10 June 2010
Description
This thesis studies the problem of determining the satisfiability of a Boolean combination of binary difference constraints of the form x-y where x and y are numeric variables and constant. In particular, we present y can incremental and model-bas...
Community Reviews
Content Warnings
80 pages • missing pub info (editions)
ISBN/UID: 9783639147384
Format: Paperback
Language: English
Publisher: VDM Verlag
Publication date: 10 June 2010
Description
This thesis studies the problem of determining the satisfiability of a Boolean combination of binary difference constraints of the form x-y where x and y are numeric variables and constant. In particular, we present y can incremental and model-bas...
Community Reviews
Content Warnings