E Book

Recent Advances in Constraints

---

Constraint Propagation -- GCC-Like Restrictions on the Same Constraint -- A Note on Bilattices and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again to Fail-First -- Characterization of a New Restart Strategy for Randomized Backtrack Search -- Dynamic Distributed BackJumping -- A Value Ordering Heuristic for Local Search in Distributed Resource Allocation -- Automatically Exploiting Symmetries in Constraint Programming -- New Structural Decomposition Techniques for Constraint Satisfaction Problems -- Applications -- Algorithms for the Maximum Hamming Distance Problem -- A System Prototype for Solving Multi-granularity Temporal CSP -- Computing Equilibria Using Interval Constraints -- Constraint-Based Approaches to the Covering Test Problem -- Super Solutions for Combinatorial Auctions -- Better Propagation for Non-preemptive Single-Resource Constraint Problems.

---

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

-

Penerbit

Berlin, Heidelberg : Springer., 2005

Deskripsi Fisik

X, 217 p.online resource.

Bahasa

English

ISBN/ISSN

9783540322528

Klasifikasi

006.3

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

1st ed.

Subjek

Artificial intelligence.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Algorithms.
Algorithm Analysis and Problem Complexity.
Computer logic.
Mathematical logic.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Numerical analysis.
Numeric Computing.

Info Detail Spesifik

-

Pernyataan Tanggungjawab

Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi.

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar