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?

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
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
Logical Constraints in Integer Programs
Parallel Consistency in Constraint Programming
Distributed Constraint Programming with Agents
Modelling in Constraint Programming - Cork Constraint Computation ...
Constraint Lingo: Towards high-level constraint programming
MATHEMATICAL PROGRAMS WITH VANISHING CONSTRAINTS ...
Constraint Reduction for Linear Programs with Many Constraints
Soft Constraints in Integer Linear Programs
Constraint Programming for Timetabling - Masaryk University
Completable Partial Solutions in Constraint Programming and ...