✦ LIBER ✦

[Lecture Notes in Computer Science] Progress in Artificial Intelligence Volume 1323 || A 0–1 quadratic knapsack problem for modelizing and solving the constraint satisfaction problems

✍ Scribed by Coasta, Ernesto; Cardoso, Amilcar

Book ID: 121380488
Publisher: Springer Berlin Heidelberg
Year: 1997
Weight: 731 KB
Category: Article
ISBN: 3540696059
DOI: 10.1007/BFb0023911

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Meth

[Lecture Notes in Computer Science] Methodologies for Intelligent Systems Volume 869 || Genetic algorithms for the 0/1 knapsack problem

✍ Raś, Zbigniew W.; Zemankova, Maria 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 517 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computational Science and Its Applications – ICCSA 2012 Volume 7335 || Solving Multidimensional 0–1 Knapsack Problem with an Artificial Fish Swarm Algorithm

✍ Murgante, Beniamino; Gervasi, Osvaldo; Misra, Sanjay; Nedjah, Nadia; Rocha, Ana 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 258 KB

[Lecture Notes in Computer Science] PRIC

[Lecture Notes in Computer Science] PRICAI 2000 Topics in Artificial Intelligence Volume 1886 || A New Axiomatic Framework for Prioritized Fuzzy Constraint Satisfaction Problems

✍ Mizoguchi, Riichiro; Slaney, John 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 66 KB

[Lecture Notes in Computer Science] Hybr

[Lecture Notes in Computer Science] Hybrid Artificial Intelligence Systems Volume 6077 || A Genetic Algorithm for Solving the Generalized Vehicle Routing Problem

✍ Corchado, Emilio; Graña Romay, Manuel; Manhaes Savio, Alexandre 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 156 KB

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2010 Volume 6175 || A System for Solving Constraint Satisfaction Problems with SMT

✍ Strichman, Ofer; Szeider, Stefan 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 134 KB

Annotation. This Book Constitutes The Refereed Proceedings Of The 13th International Conference On Theory And Applications Of Satisfiability Testing, Sat 2010, Held In Edinburgh, Uk, In July 2010 As Part Of The Federated Logic Conference, Floc 2010. The 21 Revised Full Papers Presented Together With

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computational Collective Intelligence. Technologies and Applications Volume 7654 || A-Team for Solving the Resource Availability Cost Problem

✍ Nguyen, Ngoc-Thanh; Hoang, Kiem; Jȩdrzejowicz, Piotr 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 156 KB

The two volumes set LNCS 7653 and 7654 constitutes the refereed proceedings of the 4th International Conference on Computational Collective Intelligence, ICCCI, held in Ho Chi Minh City, Vietnam, in November 2012. The 113 revised full papers presented were carefully reviewed and selected from 397 su