<--- Back to Details
First PageDocument Content
Computational science / Constraint optimization / Computer programming / Constraint algorithm / Database index / Constraint / Backtracking / Systems engineering process / Decomposition method / Constraint programming / Mathematical optimization / Science
Date: 2008-10-22 09:22:50
Computational science
Constraint optimization
Computer programming
Constraint algorithm
Database index
Constraint
Backtracking
Systems engineering process
Decomposition method
Constraint programming
Mathematical optimization
Science

Constrained Physical Design Tuning Nicolas Bruno Surajit Chaudhuri Microsoft Research

Add to Reading List

Source URL: www.vldb.org

Download Document from Source Website

File Size: 2,39 MB

Share Document on Facebook

Similar Documents

Mathematics / Theoretical computer science / Algebra / Linear programming / Formal methods / Constraint programming / Declarative programming / Invariant / Satisfiability modulo theories / Linear inequality / Inequality

Speeding Up the Constraint-Based Method in Difference Logic ⋆ Lorenzo Candeago1, Daniel Larraz2, Albert Oliveras2, Enric Rodr´ıguez-Carbonell2, and Albert Rubio2 2

DocID: 1xVBD - View Document

Culture / Economy / Sociology / Majorityminority relations / Economic sociology / Social capital / Social economy / Socioeconomics / Linear regression / Immigration / Economic mobility

Networks of Mobility and Constraint: The Economic Integration of New Immigrants to Canada by Maria M. Majerski

DocID: 1xVqX - View Document

Theoretical computer science / Constraint programming / Software engineering / Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Satisfiability modulo theories / Solver / Boolean satisfiability problem / DPLL algorithm / Constraint satisfaction problem

Visualizing SMT-Based Parallel Constraint Solving Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyv¨arinen, and Natasha Sharygina Universit` a della Svizzera italiana, Switzerland Abstract

DocID: 1xVlC - View Document

Constraint programming / Mathematics / Lattice theory / Mathematical optimization / Applied mathematics / Constraint satisfaction / Local consistency / Semilattice / Linear programming / Optimization problem / Constraint / Feasible region

in Knowledge Engineering Reviews, 2001 Synthesis of EÆcient Constraint Satisfaction Programs Stephen J. Westfold and Douglas R. Smith Kestrel Institute 3260 Hillview Avenue

DocID: 1xVgq - View Document

Constraint programming / Software engineering / Computer programming / Constraint satisfaction / Local consistency / Theoretical computer science / Constraint / Theory of constraints / Schaefer's dichotomy theorem / Constraint logic programming

Toward the Synthesis of Constraint Solvers Douglas R. Smith Stephen J. Westfold Kestrel Institute Palo Alto, CA 94304

DocID: 1xUMk - View Document