<--- Back to Details
First PageDocument Content
Formal methods / Automated theorem proving / Logic in computer science / Boolean algebra / Electronic design automation / Conflict-Driven Clause Learning / Boolean satisfiability problem / Satisfiability modulo theories / Clause / Vampire / Propositional calculus / Lambda calculus
Date: 2016-06-17 09:50:06
Formal methods
Automated theorem proving
Logic in computer science
Boolean algebra
Electronic design automation
Conflict-Driven Clause Learning
Boolean satisfiability problem
Satisfiability modulo theories
Clause
Vampire
Propositional calculus
Lambda calculus

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality Jasmin Christian Blanchette1,2 , Mathias Fleury2 , and Christoph Weidenbach2 1 2

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Download Document from Source Website

File Size: 189,65 KB

Share Document on Facebook

Similar Documents

The Vampire and the FOOL Evgenii Kotelnikov Laura Kov´acs  Giles Reger

The Vampire and the FOOL Evgenii Kotelnikov Laura Kov´acs Giles Reger

DocID: 1xVTD - View Document

Instantiation for Theory Reasoning in Vampire Giles Reger Theory Reasoning in saturation provers  φ

Instantiation for Theory Reasoning in Vampire Giles Reger Theory Reasoning in saturation provers φ

DocID: 1xVzg - View Document

Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener  University of Manchester, Manchester, UK

Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UK

DocID: 1xV20 - View Document

Instantiation and Pretending to be an SMT Solver with VAMPIRE ∗ Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,3,4 1  3

Instantiation and Pretending to be an SMT Solver with VAMPIRE ∗ Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,3,4 1 3

DocID: 1xUjf - View Document

Instantiation for Theory Reasoning in Vampire Giles Reger  Martin Riener

Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener

DocID: 1xTXS - View Document