Incremental Satisfiability and Implication for UTVPI Constraints
| Year of publication: |
2010
|
|---|---|
| Authors: | Schutt, Andreas ; Stuckey, Peter J. |
| Published in: |
INFORMS journal on computing : JOC. - Linthicum, Md : INFORMS, ISSN 0899-1499, ZDB-ID 13160771. - Vol. 22.2010, 4, p. 514-528
|