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

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 ...
Constraint Graph Analysis of Multithreaded Programs
Logical Constraints in Integer Programs
Parallel Consistency in Constraint Programming
Distributed Constraint Programming with Agents
Towards Stochastic Constraint Programming: A Study of On-Line ...
Local Constraint-Based Mining and Set Constraint Programming for ...
Modelling in Constraint Programming - Cork Constraint Computation ...
Foundations of Constraint programming and CONstraint Logic ...
Constraint Reduction for Linear Programs with Many Constraints
A hybrid constraint programming and semidefinite programming ...
Revision programming= logic programming+ constraints
Logic Programming with Constraints - Webdocs Cs Ualberta
Soft Constraints in Integer Linear Programs
Constraint Programming for Timetabling - Masaryk University
Completable Partial Solutions in Constraint Programming and ...