Theory and Applications of Satisfiability Testing – SAT...

Main
Computers - Computer Science
Theory and Applications of...

Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Yehuda Naveh (auth.), Ofer Strichman, Stefan Szeider (eds.)

0 / 0

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

Կատեգորիաներ:

Computers - Computer Science

Տարի:

2010

Հրատարակում:

1

Հրատարակչություն:

Springer-Verlag Berlin Heidelberg

Լեզու:

english

Էջեր:

400

ISBN 10:

3642141862

ISBN 13:

9783642141867

Սերիաներ:

Lecture Notes in Computer Science 6175 : Theoretical Computer Science and General Issues

Ֆայլ:

PDF, 5.02 MB

IPFS:

,

english, 2010

Կարդալ Առցանց

Փոխարկումը դեպի կատարվում է

Փոխարկումը դեպի ձախողվել է

Ձեզ կարող է հետաքրքրել

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

Tomas Vojnar & Lijun Zhang [Vojnar, Tomas & Zhang, Lijun] — Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences ... Notes in Computer Science Book 11427)

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

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, ...

Barry O’Sullivan (eds.) — Principles and Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings

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

Moura, Leonardo de — Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, 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

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

Laurent D. Michel (auth.), Michela Milano (eds.) — Principles and Practice of Constraint Programming: 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 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

Հիմնական արտահայտություններ