Views
5 years ago

Small Formulas for Large Programs: On-line Constraint ...

Small Formulas for Large Programs: On-line Constraint ...

Algorithm ● Definition

Algorithm ● Definition of simplified form suggests trivial algorithm: – Pick any leaf, replace it by true/false. – Check if formula is equivalent. – Repeat until no leaf can be replaced. ● Requires repeatedly checking satisfiability of formulas twice as large as the original formula. ● But we can do better than this naïve algorithm!

Critical Constraint Idea: Compute a constraint C, called critical constraint, for each leaf L such that: (i) L is non­constraining iff (ii) L is non­ relaxing iff Intuitively, C describes the condition under which L determines whether an assignment satisfies the formula. C ) L C ) :L C is no larger than original formula F, so redundancy is checked using formulas at most as large as F.

Constraint Logic Programming Using ECLiPSe
Multiparadigm Constraint Programming Languages (Cognitive ...
SCIP - Solving Constraint Integer Programs - ZIB
Answer Sets: From Constraint Programming Towards Qualitative ...
Weighted Automata, Constraint Programming, and Large ...
Solving small VRPTWs with Constraint Programming Based Column ...
The Thales constraint programming framework for on-line planning ...
Program Analysis as Constraints SOlving
Foundations of Constraint programming and CONstraint Logic ...
Towards Stochastic Constraint Programming: A Study of On-Line ...
Constraint Graph Analysis of Multithreaded Programs
Logic Programming with Constraints - Webdocs Cs Ualberta
Parallel Consistency in Constraint Programming
Distributed Constraint Programming with Agents
Logical Constraints in Integer Programs
Modelling in Constraint Programming - Cork Constraint Computation ...
Constraint Lingo: Towards high-level constraint programming
MATHEMATICAL PROGRAMS WITH VANISHING CONSTRAINTS ...
Stochastic Concurrent Constraint Programming
Multi-agent Constraint Programming
Future and trends of Constraint Programming - Centre for ...
Default Timed Concurrent Constraint Programming