Views
5 years ago

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

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

Why Such a Difference?

Why Such a Difference? ● Because program analysis systems typically generate highly redundant constraints! Size of simplified formula consistently under 20 while non­simplified formula have several hundred leaves COMPASS

It's not just Compass ● Measured redundancy of constraints in a different analysis system, SATURN. Similar pattern as in Compass despite attempts to heuristically control formula size. SATURN

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
Modelling in Constraint Programming - Cork Constraint Computation ...
Logical Constraints in Integer Programs
Constraint Lingo: Towards high-level constraint programming
MATHEMATICAL PROGRAMS WITH VANISHING CONSTRAINTS ...
Future and trends of Constraint Programming - Centre for ...
Default Timed Concurrent Constraint Programming
On Integrating Constraint Propagation and Linear Programming for ...
Stochastic Concurrent Constraint Programming
Multi-agent Constraint Programming