Similar Items: Subsumption Algorithms for Three-Valued Geometric Resolution
- Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning
- Visually Comparing Graph Vertex Ordering Algorithms through Geometrical and Topological Approaches
- Geometric Model Checking of Continuous Space
- Coalgebraic Geometric Logic: Basic Theory
- Implicit Resolution
- Nonparametric Regression on Random Geometric Graphs Sampled from Submanifolds