<--- Back to Details
First PageDocument Content
Computer programming / Local consistency / Constraint satisfaction problem / Constraint satisfaction / Backtracking / Constraint optimization / Eight queens puzzle / Branch and bound / Heuristic function / Constraint programming / Mathematics / Software engineering
Date: 2013-10-06 08:31:17
Computer programming
Local consistency
Constraint satisfaction problem
Constraint satisfaction
Backtracking
Constraint optimization
Eight queens puzzle
Branch and bound
Heuristic function
Constraint programming
Mathematics
Software engineering

C:/Documents and Settings/wkmak/Desktop/DropBox/Dropbox/Thesis/main.dvi

Add to Reading List

Source URL: www.tmak.info

Download Document from Source Website

File Size: 765,76 KB

Share Document on Facebook

Similar Documents

Theoretical computer science / Mathematics / Formal methods / Mathematical logic / Boolean algebra / Boolean satisfiability problem / Electronic design automation / Logic in computer science / Resolution / COMPASS/Sample Code / BCD

Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell? Abstract. We consider optimization problems of th

DocID: 1xV15 - View Document

Source-side Preordering for Translation using Logistic Regression and Depth-first Branch-and-Bound Search∗ Laura Jehl? ? Adri`a de Gispert‡

DocID: 1uXFc - View Document

MAX CUT SDP based Branch and Bound

DocID: 1ucmo - View Document

On the impact of symmetry-breaking constraints on spatial Branch-and-Bound for circle packing in a square✩ Alberto Costaa , Pierre Hansena,b , Leo Libertia,∗ b GERAD,

DocID: 1ubEn - View Document

Parallel Branch and Bound: Applying an Asynchronous Multi-Pool Approach to Cyclic Best First Search Joshua Gluck, Nartezya Dykes Swarthmore College, Spelman College, and The University of Illinois at Urbana-Champaign

DocID: 1tNGx - View Document