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 ...
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
Logical Constraints in Integer Programs
Foundations of Constraint programming and CONstraint Logic ...
Parallel Consistency in Constraint Programming
Distributed Constraint Programming with Agents
Logic Programming with Constraints - Webdocs Cs Ualberta
Local Constraint-Based Mining and Set Constraint Programming for ...
Modelling in Constraint Programming - Cork Constraint Computation ...
Constraint Lingo: Towards high-level constraint programming
Constraint Reduction for Linear Programs with Many Constraints
A hybrid constraint programming and semidefinite programming ...
Revision programming= logic programming+ constraints
Soft Constraints in Integer Linear Programs