✦ LIBER ✦

[Lecture Notes in Computer Science] Methodologies for Intelligent Systems Volume 689 || On the satisfiability of symmetrical constrained satisfaction problems

✍ Scribed by Komorowski, Jan; Raś, Zbigniew W.

Book ID: 120338316
Publisher: Springer Berlin Heidelberg
Year: 1993
Weight: 572 KB
Category: Article
ISBN: 3540477500
DOI: 10.1007/3-540-56804-2_33

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 Intelligence and Bioinspired Systems Volume 3512 || Cooperative Bees Swarm for Solving the Maximum Weighted Satisfiability Problem

✍ Cabestany, Joan; Prieto, Alberto; Sandoval, Francisco 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 191 KB

[Lecture Notes in Computer Science] Engi

[Lecture Notes in Computer Science] Engineering of Intelligent Systems Volume 2070 || A Methodology for Reliable Systems Design

✍ Monostori, László; Váncza, József; Ali, Moonis 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 374 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Intelligent Tutoring Systems Volume 3220 || A Methodology for the Construction of Learning Companions

✍ Lester, James C.; Vicari, Rosa Maria; Paraguaçu, Fábio 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 95 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] Over

[Lecture Notes in Computer Science] Over-Constrained Systems Volume 1106 || Cascaded directed arc consistency and no-good learning for the maximal constraint satisfaction problem

✍ Jampel, Michael; Freuder, Eugene; Maher, Michael 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 599 KB