<--- Back to Details
First PageDocument Content
Mathematical optimization / Constraint satisfaction problem / Constraint satisfaction / Local consistency / Decomposition method / Linear programming relaxation / Constraint programming / Software engineering / Computer programming
Date: 2014-03-05 12:20:11
Mathematical optimization
Constraint satisfaction problem
Constraint satisfaction
Local consistency
Decomposition method
Linear programming relaxation
Constraint programming
Software engineering
Computer programming

The Thousand Faces of Constraint Propagation Emmanuel Hebrard Toulouse

Add to Reading List

Source URL: homepages.laas.fr

Download Document from Source Website

File Size: 1,37 MB

Share Document on Facebook

Similar Documents

Mathematics / Computational complexity theory / Algebra / NP-complete problems / Analysis of algorithms / Set cover problem / Bin packing problem / Linear programming relaxation / Vertex cover / Ring / Exponentiation / Big O notation

Set Covering with Ordered Replacement: Additive and Multiplicative Gaps Friedrich Eisenbrand1 , Naonori Kakimura?2 , Thomas Rothvoß??1 , and Laura Sanità? ? ?1 1

DocID: 1rlHb - View Document

Graphical models / Mathematical analysis / Mathematics / Probability / Mathematical optimization / Operations research / Linear programming / Probability theory / Markov random field / Linear programming relaxation / Relaxation / Bayesian network

Rounding Guarantees for Message-Passing MAP Inference with Logical Dependencies Stephen H. Bach Computer Science Dept. University of Maryland

DocID: 1rhNI - View Document

Graphical models / Mathematics / Mathematical analysis / Probability / Mathematical optimization / Combinatorial optimization / Linear programming / Operations research / Markov random field / Linear programming relaxation / Relaxation / Randomized rounding

Unifying Local Consistency and MAX SAT Relaxations for Scalable Inference with Rounding Guarantees Stephen H. Bach University of Maryland

DocID: 1r1cx - View Document

Mathematical optimization / Operations research / Mathematics / Numerical analysis / Combinatorial optimization / Linear programming / Convex optimization / Automatic label placement / Algorithm / Integer programming / Relaxation / AMPL

PRACTICAL EXPERIENCE WITH A MAP LABEL PLACEMENT PROGRAM Steven Zoraster Stephen Bayer ZYCOR, Inc. 220 Foremost Austin, Texas 78745

DocID: 1qZeR - View Document

Mathematical optimization / Convex optimization / Operations research / Mathematical analysis / Linear programming / Ellipsoid method / Relaxation / Duality

CS261: Exercise Set #5 For the week of February 1–5, 2016 Instructions: (1) Do not turn anything in. (2) The course staff is happy to discuss the solutions of these exercises with you in office hours or on Piazza.

DocID: 1qXY7 - View Document