|
|
Vampire 2019: Author IndexAuthor | 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 |
|
|
|