Incremental Satisfiability and Implication for UTVPI Constraints
Andreas Schutt, Peter J Stuckey
INFORMS JOURNAL ON COMPUTING | INFORMS | Published : 2010
The authors thank the anonymous reviewers for their comments, which improved the paper substantially. NICTA (National ICT Australia) is funded by the Australian Government as represented by the Department of Broadband, Communications, and the Digital Economy and the Australian Research Council.