Вы здесь

Главная

sat solvers

Связанные издания:

Applications of Declarative Programming and Knowledge Management: Revised Selected Papers/18th International Conference, INAP 2009, Evora, Portugal, November 2009
Computer Aided Verification: Proc./21st International Conference, CAV 2009, Grenoble, France, June/Jule 2009
Experimental Algorithms: Proc./10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 2011
Formal Methods for Industrial Critical Systems: Proc./23rd International Conference, FMICS 2018, Maynooth, Ireland, September 2018
Frontiers of Combining Systems: Proc./11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 2017
Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler
Hardware and Software: Verification and Testing: Proc./11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 2015
Hardware and Software: Verification and Testing: Revised Selected Papers/7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 2011
Integrated Formal Methods: Proc./12th International Conference, IFM 2016, Reykjavik, Iceland, June 2016
Intelligent Computer Mathematics: Proc./International Conference, CICM 2014, Coimbra, Portugal, July 2014
Interactive Theorem Proving: Proc./5th Internatinal Conference, ITP 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014
Interactive Theorem Proving: Proc./8th International Conference, ITP 2017, Brasilia, Brazil, Septeber 2017
KI 2015: Advances in Artificial Intelligence: Proc./38th Annual German Conference on AI, Dresden, Germany, September 2015
Learning and Intelligent Optimization: Revised Selected Papers/7th International Conference, LION 7, Catania, Italy, January 2013
Learning and Intelligent Optimization: Revised Selected Papers/8th International Conference, Lion 8, Gainesville,FL,USA, February 2014
Model-Based Safety and Assessment: Proc./4th International Symposium, IMBSA 2014, Munich, Germany, October 2014
Model Checking Software: Proc./20th International Symposium, SPIN 2013, Stony Brook,NY,USA, July 2013
Principles and Practice of Constraint Programming: Proc./24th International Conference, CP 2018, Lille, France, August 2018
Sailing Routes in the World of Computation: Proc./14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 2018
Testing Software and Systems: Proc./29th IFIP WG 6.1 International Conference, ICTSS 2017, St.Petersburg, Russia, October 2017
Theory and Application of Models of Computation: Proc./11th Annual Conference, TAMC 2014, Chennai, India, April 2014
Theory and Applications of Satisfiability Testing - SAT 2011: Proc./14th International Conference, SAT 2011, Ann Arbor,MI,USA, June 2011
Theory and Applications of Satisfiability Testing - SAT 2013: Proc./16th International Conference, Helsinki, Finland, July 2013
Theory and Applications of Satisfiability Testing - SAT 2014: Proc./17th International Conference Held as Part of the Vienna Summer of Logoc, VSL 2014, Vienna, Austria, July 2014
Theory and Applications of Satisfiability Testing - SAT 2015: Proc./18th International Conference, Austin,TX,USA, September 2015
Theory and Applications of Satisfiability Testing - SAT 2017: Proc./20th International Conference, Melbourn,VIC,Australia, August 2017
Theory and Applications of Satisfiability Testing - SAT 2018: Proc./21st International Conference, SAT 2018 Held as Part of the Federated Logic Conference, FLoC 2018, Oxford, UK, July 2018
Theory and Applications of Satisfiability Testing - SAT 2019: Proc./22nd International Conference, SAT 2019, Lisbon, Portugal, July 2019
Theory and Applications of Satisfiability Testing - SAT 2020: Proc./23rd International Conference, Alghero, Italy, July 2020
Theory and Applications of Satisfiability Testing - SAT 2021: Proc./24th International Conference, Barcelona, Spain, July 2021
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021
Trends in Functional Programming: Revised Selected Papers/14th International Symposium, TFP 2013, Provo,UT,USA, May 2013
Verification, Model Checking, and Abstract Interpretation: Proc./15th International Conference, VMCAI 2014, San Diego,CA,USA, January 2014
Verification, Model Checking, and Abstract Interpretation: Proc./16th International Conference, VMCAI 2015, Mumbai, India, January, 2915
Verified Software: Theories, Tools, Experiments: Revised Selected Papers/5th Iternational Conference, VSTTE 2013, Menlo Park,CA,USA, May 2013
Пример верификации в проекте F@BOOL@, основанном на булевских решателях