Abstract is missing.
- SAT, Computer Algebra, MultipliersDaniela Ritirc, Armin Biere, Manuel Kauers. 1-18 [doi]
- Towards Word Sense Disambiguation by ReasoningJavier Álvez, Itziar Gonzalez-Dios, German Rigau. 19-29 [doi]
- Experimenting with Theory Instantiation in VampireMartin Riener. 30-37 [doi]
- Aiming for the Goal with SInEMartin Suda 0001. 38-44 [doi]
- Bayesian Optimisation for Heuristic Configuration in Automated Theorem ProvingAgnieszka Slowik, Chaitanya Mangla, Mateja Jamnik, Sean B. Holden, Lawrence C. Paulson. 45-51 [doi]