Pages that link to "Item:Q2817925"
From MaRDI portal
The following pages link to Subsumption Algorithms for Three-Valued Geometric Resolution (Q2817925):
Displaying 4 items.
- Subquadratic algorithms for some \textsc{3sum}-hard geometric problems in the algebraic decision-tree model (Q2096389) (← links)
- Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
- Subsumption Algorithms for Three-Valued Geometric Resolution (Q2817925) (← links)
- (Q4611377) (redirect page) (← links)