Views
5 years ago

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

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

Scalability and Formula

Scalability and Formula Size ● Many program analysis techniques represent program states as SAT or SMT formulas. ● Queries about program => Satisfiability and validity queries to the constraint solver ● Scalability of these techniques is often very sensitive to formula size.

Techniques to Limit Formula Size ● Many different techniques to control formula size: ● Basic Predicate abstraction – Formulas are over a finite, fixed set of predicates. ● Predicate abstraction with CEGAR – Iteratively discover “relevant” predicates. ● Property simulation – Track only those path conditions where property differs along arms of the branch. ● and many others... ESP SLAM, BLAST

Constraint Logic Programming Using ECLiPSe
Multiparadigm Constraint Programming Languages (Cognitive ...
Answer Sets: From Constraint Programming Towards Qualitative ...
SCIP - Solving Constraint Integer Programs - ZIB
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
Constraint Graph Analysis of Multithreaded Programs
Towards Stochastic Constraint Programming: A Study of On-Line ...
Foundations of Constraint programming and CONstraint Logic ...
Parallel Consistency in Constraint Programming
Distributed Constraint Programming with Agents
Logical Constraints in Integer Programs
Modelling in Constraint Programming - Cork Constraint Computation ...
Logic Programming with Constraints - Webdocs Cs Ualberta
Constraint Lingo: Towards high-level constraint programming
Constraint Reduction for Linear Programs with Many Constraints
Future and trends of Constraint Programming - Centre for ...
Default Timed Concurrent Constraint Programming
On Integrating Constraint Propagation and Linear Programming for ...
Soft Constraints in Integer Linear Programs