Journal article

Incremental Satisfiability and Implication for UTVPI Constraints

Andreas Schutt, Peter J Stuckey

INFORMS Journal on Computing | INFORMS | Published : 2010


Funding Acknowledgements

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.