Satisfiability problem: theory and applications : DIMACS workshop, March 11-13, 1996
by Du, Ding-Zhu Gu, Jun Pardalos, P. M., (Panos M.)
Type
Book
Rate
0.0 /5
Title Statements
- Full title :Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996 / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors.
Edition Statements
- Publication Date:1997.
Publication Statements
- Publisher(s):American mathematical Society
- Place of Publication:Providence, R.I
- Language:eng
- Publication Date:1997.
The Physical Object
- Description:XV, 724 p. ; : 26 cm.
Edition Identifiers
- ISBN:0821804790, 9780821804797
- oclc:ocn928212095
Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Fun with Algorithms
0.0
Type: Book
Learning and Intelligent Optimization: 5th International Conference, LION 5, R…
Coello Coello, Carlos A.
0.0
Type: Book
Advances in Computational Algorithms and Data Analysis
World Congress on Engineering and Computer Science, San Francisco, Calif.)
0.0
Type: Book
Foundations of genetic algorithms
0.0
Type: Book
Algorithmic foundation of robotics VII: selected contributions of the seventh I…
International Workshop on the Algorithmic Foundations of Robotics
0.0
Type: Book
Structural Information and Communication Complexity
0.0
Type: Book
Frontiers in Algorithmics
0.0
Type: Book
Algorithm Theory - SWAT 2010
0.0
Type: Book
Algorithmic Aspects in Information and Management
0.0
Type: Book
Algorithms and Complexity
0.0
Type: Book
Engineering stochastic local search algorithms: designing, implementing and analyzing e…
SLS 2009, Brussels, Belgium)
0.0
Type: Book
Algorithms and Models for the Web Graph: 8th International Workshop, WAW 2011, A…
Frieze, Alan
0.0
Type: Book
Algorithms in Bioinformatics: 11th International Workshop, WABI 2011,…
Przytycka, Teresa M.
0.0
Type: Book
Adaptive and Natural Computing Algorithms: 10th International Conference, ICANNGA …
Dobnikar, Andrej
0.0
Type: Book
Adaptive and Natural Computing Algorithms: 10th International Conference, ICANNGA …
Dobnikar, Andrej
0.0
Type: Book
Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, …
Jansen, Klaus
0.0
Type: Book
Tools and algorithms for the construction and analysis of systems: 7th International Conference, TACAS 200…
TACAS 2001, Génova, Italia)
0.0
Type: Book
Files & Downloads
-
Satisfiability problem: theory and applications -…
DJVU · 7.4 MB · updated -
Satisfiability Problem: Theory and Applications -…
PDF · 63.1 MB · updated -
Satisfiability Problem: Theory and Applications -…
DJVU · 8.3 MB · updated
Rate & Review