Author:Martin SudaPublications |
---|
| | | | EasyChair Preprint no. 362 | EasyChair Preprint no. 361 | | | | | EasyChair Preprint no. 1 | | | | | | | | |
Keyphrasesautomated reasoning4, automated theorem proving2, Avatar4, AVATAR architecture, blocked clauses, CEGAR, Clausal Normal Form, clause elimination, clause normal form, Clausification, EPR, finite model finder, first-order logic7, first-order theorem proving2, FOOL, inprocessing techniques, Interference, Interpolants, IRM-calc, large theory problems, local proofs, long-distance resolution, machine learning, Parameters Learning, partial strategy, premise selection, Preprocessing, proof checking, proving strategy, QBF, QBF calculi, Resolution Calculi, SAT2, SAT solving, Satisfiability Modulo Theories2, Saturation Algorithms2, semantics2, sine, SMT, SMT solving2, strategies, strategy invention, superposition calculus, theorem proving8, theory reasoning, translation, Vampire7, winning strategy, Z3. |
|