Incremental Satisfiability and Implication for UTVPI Constraints Journal Articles Refereed uri icon

Overview

Published in

  • INFORMS Journal on Computing

Time

Date/time value

  • 2010

Identity

Digital Object Identifier (DOI)

  • 10.1287/ijoc.1090.0369

Additional Document Info

Parent Title

  • INFORMS JOURNAL ON COMPUTING

Volume

  • 22

Issue

  • 4

Publisher

  • INFORMS Applied Probability Society