Publications
- Labelled Superposition for PLTL2012 | Faculty of Mathematics and Physics
- A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance2012 | Faculty of Mathematics and Physics
- Property Directed Reachability for Automated Planning2014 | Faculty of Mathematics and Physics
- Progress Towards Effective Automated Reasoning with World Knowledge2010 | Faculty of Mathematics and Physics
- SPASS Version 3.52009 | Faculty of Mathematics and Physics
- External Sources of Axioms in Automated Theorem Proving2009 | Faculty of Mathematics and Physics
- Relevancy Zones for Lambda Search in Rigid Board2008 | Faculty of Mathematics and Physics
Loading network view...