籌款 9月15日 2024 – 10月1日 2024 關於籌款

Theory and applications of satisfiability testing -- SAT...

Main
Computers
Theory and applications of...

Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings

Gaspers, Serge, Walsh, Toby

0 / 0

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

類別:

年:

2017

出版商:

Springer

語言:

english

頁數:

476

ISBN 10:

3319662635

ISBN 13:

9783319662633

系列:

Lecture notes in computer science 10491; LNCS sublibrary. SL 1 Theoretical computer science and general issues

文件:

PDF, 15.10 MB

IPFS:

,

english, 2017

因版權方投訴，本書無法下載

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

你可能感興趣

A. Biere;M. Heule;H. van Maaren; — Handbook of Satisfiability

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

Enrico Giunchiglia, Toby Walsh — SAT 2005: Satisfiability Research in the Year 2005

A. Biere, A. Biere, M. Heule, H. Van Maaren, T. Walsh — Handbook of Satisfiability

Armin Biere — Handbook of satisfiability

Mikoláš Janota, Inês Lynce — Theory and Applications of Satisfiability Testing – SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Thomas Schiex, Simon de Givry — Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings

Helmut Simonis — Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

Chu-Min Li, Felip Manyà — Theory and Applications of Satisfiability Testing – SAT 2021

Carsten Sinz, Uwe Egly — Theory and Applications of Satisfiability Testing - SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, ...

Marijn Heule, Sean Weaver (eds.) — Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Nadia Creignou, Daniel Le Berre (eds.) — Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Michel Rueher (eds.) — Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

Didier Galmiche, Stephan Schulz, Roberto Sebastiani — Automated Reasoning

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

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

Hossein M. Sheini, Karem A. Sakallah (auth.), Armin Biere, Carla P. Gomes (eds.) — Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

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

Robert Nieuwenhuis (auth.), Oliver Kullmann (eds.) — Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Alessandro Armando (auth.), Silvio Ghilardi, Roberto Sebastiani (eds.) — Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

Yehuda Naveh (auth.), Ofer Strichman, Stefan Szeider (eds.) — Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Krishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Fermüller, Andrei Voronkov (eds.) — Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

Ryan Williams (auth.), Karem A. Sakallah, Laurent Simon (eds.) — Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings

Aaron R. Bradley (auth.), Alessandro Cimatti, Roberto Sebastiani (eds.) — Theory and Applications of Satisfiability Testing – SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 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

Luca Aceto, Dario Della Monica (auth.), Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.) — Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

Kroening, Daniel — Decision Procedures_ An Algorithmic Point

最常見的術語