<--- Back to Details
First PageDocument Content
Distributed constraint optimization / Artificial intelligence / Constraint optimization / Applied mathematics / Constraint satisfaction / Constraint graph / Binary constraint / Constraint programming / Mathematical optimization / Computing
Date: 2011-01-18 06:56:43
Distributed constraint optimization
Artificial intelligence
Constraint optimization
Applied mathematics
Constraint satisfaction
Constraint graph
Binary constraint
Constraint programming
Mathematical optimization
Computing

Add to Reading List

Source URL: liawww.epfl.ch

Download Document from Source Website

File Size: 4,53 MB

Share Document on Facebook

Similar Documents

Graph theory / Mathematics / Matroid theory / Constraint programming / Decomposition method / Quadtree / Tree decomposition / Ear decomposition / Decomposition

Rectangular Decomposition of Binary Images Tom´ aˇs Suk, Cyril H¨oschl IV, and Jan Flusser Institute of Information Theory and Automation of the ASCR, Pod vod´ arenskou vˇeˇz´ı 4, Praha 8, Czech Republic

DocID: 1qJPS - View Document

Theoretical computer science / Mathematics / Formal methods / Constraint programming / Boolean algebra / Automated theorem proving / DPLL algorithm / Binary decision diagram / Exponential time hypothesis / Computational complexity theory / Bayesian network / Distribution

Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck

DocID: 1pNco - View Document

A* search algorithm / Combinatorial optimization / Game artificial intelligence / Constraint programming / Decomposition method / Binary decision diagram

1 Efficient Distributed Algorithms For Structured Optimization Problems João F. C. Mota, João M. F. Xavier, Pedro M. Q. Aguiar, and Markus Püschel

DocID: 1oYwC - View Document

Logic / Mathematics / Constraint programming / Abstraction / Model theory / Boolean satisfiability problem / Electronic design automation / Logic in computer science / Complexity of constraint satisfaction / Constraint satisfaction problem / Satisfiability / Binary relation

The complexity of satisfaction problems in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE

DocID: 1o6fG - View Document

Locally Consistent Constraint Satisfaction Problems with Binary Constraints Manuel Bodirsky ∗

DocID: 1lG9w - View Document