|
|
Vampire 2019:Keyword IndexKeyword | Papers |
---|
A | automated reasoning | Experimenting with Theory Instantiation in Vampire | automated theorem proving | Towards Word Sense Disambiguation by Reasoning Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving | B | Bayesian optimisation | Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving | C | computer algebra | SAT, Computer Algebra, Multipliers | F | first-order theorem proving | Experimenting with Theory Instantiation in Vampire Aiming for the Goal with SInE | H | Heuristic Configuration | Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving | L | large theory problems | Aiming for the Goal with SInE | M | Multiplier circuits | SAT, Computer Algebra, Multipliers | N | Natural Language Processing | Towards Word Sense Disambiguation by Reasoning | O | Ontologies | Towards Word Sense Disambiguation by Reasoning | P | polynomial reasoning | SAT, Computer Algebra, Multipliers | premise selection | Aiming for the Goal with SInE Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving | proof certificates | SAT, Computer Algebra, Multipliers | S | SAT | SAT, Computer Algebra, Multipliers | semantic mappings | Towards Word Sense Disambiguation by Reasoning | sine | Aiming for the Goal with SInE | SMT | Experimenting with Theory Instantiation in Vampire | SUMO | Towards Word Sense Disambiguation by Reasoning | Sumo Inference Engine (SInE) | Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving | T | theory instantiation | Experimenting with Theory Instantiation in Vampire | V | Vampire | Experimenting with Theory Instantiation in Vampire Aiming for the Goal with SInE |
|
|
|