Vampire 2019: Author IndexAuthor  Papers 

B  Biere, Armin  SAT, Computer Algebra, Multipliers  G  GonzalezDios, 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 

