Search Results - "Mathematical Logic AND Formal Languages—Logic AND Constraint Programming"

Branch-and-prune search strategies for numerical constraint solving

Authors: Xuan-ha Vu Marius-călin Silaghi Djamila Sam-haroud et al.

Contributors: Xuan-ha Vu Marius-călin Silaghi Djamila Sam-haroud et al.

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

Subject Terms: 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

File Description: application/pdf

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

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