Výsledky vyhledávání - "Mathematical Logic and Formal Languages—Logic and Constraint Programming"

Branch-and-prune search strategies for numerical constraint solving

Autoři: Xuan-ha Vu Marius-călin Silaghi Djamila Sam-haroud a další

Přispěvatelé: Xuan-ha Vu Marius-călin Silaghi Djamila Sam-haroud a další

Zdroj: http://arxiv.org/pdf/cs/0512045v2.pdf.

Témata: Categories and Subject Descriptors, F.4.1 [Theory of Computation, Mathematical Logic and Formal Languages—Logic and Constraint Programming, I.2.8 [Computing Methodologies, Artificial Intelligence—Problem Solving, Control Methods, and Search General Terms, Algorithms, Theory, Computation Additional Key Words and Phrases, Constraint Progr

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7392; http://arxiv.org/pdf/cs/0512045v2.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7392
http://arxiv.org/pdf/cs/0512045v2.pdf