Views
5 years ago

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

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

Our Approach ●

Our Approach ● Afore­mentioned approaches control formula size by restricting the set of facts that are tracked by the analysis. ● We attack the problem from a different angle: Instead of aggressively restricting which facts to track a­priori, our focus is to guarantee non­redundancy of formulas via constraint simplification.

Goal #1: Non-redundancy ● Given formula F, we want to find formula F' such that: ● F' is equivalent to F ● F' has no redundant subparts ● F' is no larger than F Such a formula is in simplified form ● If F is a formula characterizing program property P, then predicates irrelevant to P are not mentioned in F'. – No need to guess in advance which facts/predicates may be needed later to prove P.

Multiparadigm Constraint Programming Languages (Cognitive ...
Constraint Logic Programming Using ECLiPSe
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
Towards Stochastic Constraint Programming: A Study of On-Line ...
Foundations of Constraint programming and CONstraint Logic ...
Constraint Graph Analysis of Multithreaded Programs
Logic Programming with Constraints - Webdocs Cs Ualberta
Logical Constraints in Integer Programs
Constraint Lingo: Towards high-level constraint programming
MATHEMATICAL PROGRAMS WITH VANISHING CONSTRAINTS ...
Stochastic Concurrent Constraint Programming
Multi-agent Constraint Programming
Parallel Consistency in Constraint Programming
Distributed Constraint Programming with Agents
Soft Constraints in Integer Linear Programs
Constraint Programming for Timetabling - Masaryk University
Completable Partial Solutions in Constraint Programming and ...