|
|
Vampire 2019: Author Index| Author | Papers |
|---|
| B | | Biere, Armin | SAT, Computer Algebra, Multipliers | | G | | Gonzalez-Dios, Itziar | Towards Word Sense Disambiguation by Reasoning | | H | | Holden, Sean | Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving | | J | | Jamnik, Mateja | Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving | | K | | Kauers, Manuel | SAT, Computer Algebra, Multipliers | | M | | Mangla, Chaitanya | Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving | | P | | Paulson, Lawrence C. | Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving | | R | | Riener, Martin | Experimenting with Theory Instantiation in Vampire | | Rigau, German | Towards Word Sense Disambiguation by Reasoning | | Ritirc, Daniela | SAT, Computer Algebra, Multipliers | | S | | Suda, Martin | Aiming for the Goal with SInE | | Słowik, Agnieszka | Bayesian Optimisation for Heuristic Configuration in Automated Theorem Proving | | Á | | Álvez, Javier | Towards Word Sense Disambiguation by Reasoning |
|
|
|
