Incremental Satisfiability and Implication for UTVPI Constraints

Computer Science – Data Structures and Algorithms

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

14 pages, 1 figure

Scientific paper

Unit two-variable-per-inequality (UTVPI) constraints form one of the largest class of integer constraints which are polynomial time solvable (unless P=NP). There is considerable interest in their use for constraint solving, abstract interpretation, spatial databases, and theorem proving. In this paper we develop a new incremental algorithm for UTVPI constraint satisfaction and implication checking that requires O(m + n log n + p) time and O(n+m+p) space to incrementally check satisfiability of m UTVPI constraints on n variables and check implication of p UTVPI constraints.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Incremental Satisfiability and Implication for UTVPI Constraints does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Incremental Satisfiability and Implication for UTVPI Constraints, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Incremental Satisfiability and Implication for UTVPI Constraints will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-336371

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.