Views
5 years ago

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

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

● Contextual Rewriting

● Contextual Rewriting Related Work ● Lucas, S. Fundamentals of Contex­Sensitive Rewriting. LNCS 1995 ● Armando, A., Ranise, S. Constraint contextual rewriting. Journal of Symbolic Computation 2003 ● Logic Synthesis and ATPG ● Mishchenko, A., Chatterjee, S., Brayton, R. DAG­aware AIG rewriting: A fresh look at combinational logic synthesis. DAC 2006 ● Mishchenko, A., Brayton, R., Jiang, J., Jang, S. SAT­based logic optimization and resynthesis IWLS 2007 ● And many others: ● BDDs and BMDs, vacuity detection in CTL, term rewrite systems, optimizing CLP compilers ...

Any questions?

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 ...
The Thales constraint programming framework for on-line planning ...
Program Analysis as Constraints SOlving
Towards Stochastic Constraint Programming: A Study of On-Line ...
Constraint Graph Analysis of Multithreaded Programs
Foundations of Constraint programming and CONstraint Logic ...
Logical Constraints in Integer Programs
Logic Programming with Constraints - Webdocs Cs Ualberta
Constraint Reduction for Linear Programs with Many Constraints
Parallel Consistency in Constraint Programming
Distributed Constraint Programming with Agents
Constraint Lingo: Towards high-level constraint programming
Revision programming= logic programming+ constraints
A hybrid constraint programming and semidefinite programming ...
Transderivational Constraints in the Minimalist Program
Modelling in Constraint Programming - Cork Constraint Computation ...
Local Constraint-Based Mining and Set Constraint Programming for ...