✦ LIBER ✦

Solving Satisfiability Problems Using Elliptic Approximations. A Note on Volumes and Weights

✍ Scribed by Hans van Maaren; Joost P. Warners

Book ID: 110405246
Publisher: Springer Netherlands
Year: 2003
Tongue: English
Weight: 108 KB
Volume: 37
Category: Article
ISSN: 1012-2443
DOI: 10.1023/a:1021200130191

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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

Approximation algorithms for solving the

Approximation algorithms for solving the 2-peripatetic salesman problem on a complete graph with edge weights 1 and 2

✍ E. Kh. Gimadi; Yu. V. Glazkov; A. N. Glebov 📂 Article 📅 2009 🏛 Pleiades Publishing 🌐 English ⚖ 650 KB

[Lecture Notes in Mathematics] Mathemati

[Lecture Notes in Mathematics] Mathematical Aspects of Finite Element Methods Volume 606 || On solving a mixed finite element approximation of the dirichlet problem for the biharmonic operator by a "quasi-direct" method and various iterative methods

✍ Galligani, Ilio; Magenes, Enrico 📂 Article 📅 1977 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 938 KB

[Lecture Notes in Computer Science] Para

[Lecture Notes in Computer Science] Parallel Problem Solving from Nature - PPSN XII Volume 7492 || Parallelization Strategies for Hybrid Metaheuristics Using a Single GPU and Multi-core Resources

✍ Coello, Carlos A. Coello; Cutello, Vincenzo; Deb, Kalyanmoy; Forrest, Stephanie; 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 239 KB