External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

Jasmin Christian Blanchette, Mathias Fleury, Christoph Weidenbach. A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. In Nicola Olivetti, Ashish Tiwari, editors, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings. Volume 9706 of Lecture Notes in Computer Science, pages 25-44, Springer, 2016. [doi]

Authors

Jasmin Christian Blanchette

This author has not been identified. Look up 'Jasmin Christian Blanchette' in Google

Mathias Fleury

This author has not been identified. Look up 'Mathias Fleury' in Google

Christoph Weidenbach

This author has not been identified. Look up 'Christoph Weidenbach' in Google
runs on