Views
5 years ago

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

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

Leaves of a Formula ●

Leaves of a Formula ● We consider quantifier­free formulas using the boolean connectives AND, OR, and NOT over any decidable theory . ● We assume formulas are in NNF. ● A formula that does not contain conjunction or disjunction is an atomic formula. ● Each syntactic occurrence of an atomic formula is a leaf. ● Example: :f(x) = 1 _ (:f(x) = 1 ^ x + y · 1) 3 distinct leaves

Redundant Leaves ● A leaf L is non­constraining in formula F if replacing L with true in F yields an equivalent formula. ● L is non­relaxing in F if replacing L with false is equivalent to F. ● L is redundant if it is non­constraining or non­relaxing. x = y | {z } L 0 ^ (f(x) = 1 | {z } L 1 Non­relaxing because formula is equivalent when it is replaced by false. _ (f(y) = 1 | {z } L 2 ^ x + y · 1)) | {z } L 3 Both non­constraining and non­relaxing.

Answer Sets: From Constraint Programming Towards Qualitative ...
SCIP - Solving Constraint Integer Programs - ZIB
Constraint Logic Programming Using ECLiPSe
Multiparadigm Constraint Programming Languages (Cognitive ...
Weighted Automata, Constraint Programming, and Large ...
Solving small VRPTWs with Constraint Programming Based Column ...
Program Analysis as Constraints SOlving
The Thales constraint programming framework for on-line planning ...
Towards Stochastic Constraint Programming: A Study of On-Line ...
Constraint Graph Analysis of Multithreaded Programs
Foundations of Constraint programming and CONstraint Logic ...
Logical Constraints in Integer Programs
Logic Programming with Constraints - Webdocs Cs Ualberta
Constraint Reduction for Linear Programs with Many Constraints
Parallel Consistency in Constraint Programming
Distributed Constraint Programming with Agents
Constraint Lingo: Towards high-level constraint programming
Revision programming= logic programming+ constraints
A hybrid constraint programming and semidefinite programming ...
Transderivational Constraints in the Minimalist Program
Modelling in Constraint Programming - Cork Constraint Computation ...
Local Constraint-Based Mining and Set Constraint Programming for ...