Author:Martin SudaPublications |
---|
EasyChair Preprint no. 7719 | | | | | 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, evaluation, 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, randomization, Resolution Calculi, SAT2, SAT solving, Satisfiability Modulo Theories2, Saturation Algorithms2, saturation-based theorem proving, semantics2, sine, SMT, SMT solving2, strategies, strategy invention, superposition calculus, theorem proving8, theory reasoning, translation, Vampire7, winning strategy, Z3. |
|