<--- Back to Details
First PageDocument Content
Constraint programming / Decision theory / Game theory / Search algorithms / Mathematical optimization / Minimax estimator / Minimax / Interval arithmetic / Constraint satisfaction problem / Mathematics / Statistics / Algebra
Date: 2013-04-02 03:11:09
Constraint programming
Decision theory
Game theory
Search algorithms
Mathematical optimization
Minimax estimator
Minimax
Interval arithmetic
Constraint satisfaction problem
Mathematics
Statistics
Algebra

Add to Reading List

Source URL: www.ensta-bretagne.fr

Download Document from Source Website

File Size: 592,33 KB

Share Document on Facebook

Similar Documents

1 Overview • This talk is about: – The Boolean Satisfiability Problem (SAT) – The Constraint Satisfaction Problem (CSP)

DocID: 1ukgD - View Document

Computational complexity theory / Logic / Complexity classes / Mathematical logic / PSPACE / FO / Second-order logic / P versus NP problem / Constraint satisfaction problem / NP / P / Constraint satisfaction

Logic, Computation and Constraint Satisfaction Barnaby D. Martin University of Leicester

DocID: 1ruap - View Document

Theoretical computer science / Mathematics / Computational complexity theory / Operations research / Logic in computer science / Mathematical optimization / NP-complete problems / Boolean algebra / Maximum satisfiability problem / Boolean satisfiability problem / Constraint satisfaction / Solver

On Solving Boolean Multilevel Optimization Problems∗ Josep Argelich INESC-ID Lisbon

DocID: 1rsZm - View Document

Logic / Constraint programming / Constraint satisfaction problem / Model theory / Abstraction / Philosophy / Constraint satisfaction / Satisfiability / Algebraic structure

CONTRIBUTED TALK ABSTRACTS 1.2 JAKUB BUL´IN Charles University in Prague Absorption in finitely related SD(∧) algebras has bounded arity The notion of absorbing subuniverse plays an important role in the recent devel

DocID: 1rm3f - View Document

Constraint programming / Mathematics / Constraint satisfaction problem / Constraint satisfaction / Algorithm / Shortest path problem / Theoretical computer science / Min-conflicts algorithm / Distributed constraint optimization

Second International Conference on Multiagent SystemsDistributed Breakout Algorithm for Solving Distributed Constraint Satisfaction Problems Makoto Yokoo

DocID: 1rliX - View Document