募捐 9月15日2024 – 10月1日2024 关于筹款

Cliques, coloring, and satisfiability: 2. DIMACS...

Main
Mathematics
Cliques, coloring, and satisfiability:...

Cliques, coloring, and satisfiability: 2. DIMACS Implementation Challenge October 11-13, 1993

Johnson, David S, Trick M.A. (eds.)

0 / 0

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

种类:

年:

1996

出版社:

American Mathematical Society

语言:

english

页:

657

ISBN 10:

0821866095

ISBN 13:

9780821866092

系列:

Dimacs Series in Discrete Mathematics and Theoretical Computer Science 26

文件:

DJVU, 6.35 MB

IPFS:

,

english, 1996

线上阅读

正在转换

转换为失败

您可能会感兴趣

D. Du, et. al., — Satisfiability Problem - Theory, Applns. [math]

George Kudrayvtsev — Algorithms, or the Unofficial Guide to the Georgia Institute of Technology's CS6515: Graduate Algorithms

Enrico Giunchiglia & Armando Tacchella — LNCS 2919 - Theory and Applications of Satisfiability Testing

G. Ausiello, P. Crescenzi, G. Gambosi, V. Kann, A. Marchetti-Spaccamela and M. Protasi — Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties

Allon Percus, Gabriel Istrate, Cristopher Moore — Computational Complexity and Statistical Physics (Santa Fe Institute Studies on the Sciences of Complexity)

Panos M. Pardalos — Handbook of combinatorial optimization. Supplement

Ding-Zhu Du, Panos M. Pardalos — Handbook of Combinatorial Optimization - Vol 1-3

Jun Gu, Panos M. Pardalos, Jun Gu, Panos M. Pardalos, NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science — Satisfiability problem: theory and applications

David A. Bader, David A. Bader, Henning Meyerhenke, Peter Sanders, Dorothea Wagner — Graph Partitioning and Graph Clustering

C. S. Adjiman, C. A. Schweiger, C. A. Floudas (auth.), Ding-Zhu Du, Panos M. Pardalos (eds.) — Handbook of Combinatorial Optimization: Volume1–3

Yoshiharu Kohayakawa, Flávio Keidi Miyazawa — LATIN 2020: Theoretical Informatics: 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings

Joachim Gudmundsson, Jyrki Katajainen (eds.) — Experimental Algorithms: 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 – July 1, 2014. Proceedings

Evripidis Bampis (eds.) — Experimental Algorithms: 14th International Symposium, SEA 2015, Paris, France, June 29 – July 1, 2015, Proceedings

Andrew V. Goldberg, Alexander S. Kulikov (eds.) — Experimental Algorithms: 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings

Michael R. Dransfield, Victor W. Marek (auth.), Enrico Giunchiglia, Armando Tacchella (eds.) — Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

Derek G. Corneil (auth.), Juraj Hromkovič, Manfred Nagl, Bernhard Westfechtel (eds.) — Graph-Theoretic Concepts in Computer Science: 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers

Celso C. Ribeiro, Simone L. Martins — Experimental and Efficient Algorithms

Christos H. Papadimitriou (auth.), Sotiris E. Nikoletseas (eds.) — Experimental and Efficient Algorithms: 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005. Proceedings

Josep Argelich, Felip Manyà (auth.), Fahiem Bacchus, Toby Walsh (eds.) — Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

Sotiris Nikoletseas (auth.), Carme Àlvarez, María Serna (eds.) — Experimental Algorithms: 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006. Proceedings

Ernst Althaus, Tobias Polzin (auth.), Klaus Jansen, Marian Margraf, Monaldo Mastrolilli, José D. P. Rolim (eds.) — Experimental and Efficient Algorithms: Second International Workshop, WEA 2003, Ascona, Switzerland, May 26–28, 2003 Proceedings

Marcus Poggi de Aragão, Renato F. Werneck (auth.), David M. Mount, Clifford Stein (eds.) — Algorithm Engineering and Experiments: 4th International Workshop, ALENEX 2002 San Francisco, CA, USA, January 4–5, 2002 Revised Papers

Joao Marques-Silva, Karem A. Sakallah — Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture ... Computer Science and General Issues)

Hans Kleine Büning, Xishun Zhao — Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Sebastian Böcker, Sebastian Briesemeister (auth.), Boting Yang, Ding-Zhu Du, Cao An Wang (eds.) — Combinatorial Optimization and Applications: Second International Conference, COCOA 2008, St. John’s, NL, Canada, August 21-24, 2008. Proceedings

Stefan Boettcher (auth.), Thomas Stützle (eds.) — Learning and Intelligent Optimization: Third International Conference, LION 3, Trento, Italy, January 14-18, 2009. Selected Papers

Umberto Ferraro-Petrillo, Irene Finocchi, Giuseppe F. Italiano (auth.), Paola Festa (eds.) — Experimental Algorithms: 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings

Marco E. Lübbecke (auth.), Ralf Klasing (eds.) — Experimental Algorithms: 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings

Matti Jarvisalo, Allen Van Gelder — Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings

Giorgio Ausiello, Alberto Marchetti-Spaccamela, Pierluigi Crescenzi, Giorgio Gambosi, Marco Protasi, Viggo Kann (auth.) — Complexity and Approximation: Combinatorial Optimization Problems and Their Approximability Properties

关键词