Pages that link to "Item:Q4913857"
From MaRDI portal
The following pages link to Automated Reasoning and Mathematics (Q4913857):
Displayed 13 items.
- The Legacy of a Great Researcher (Q4913858) (← links)
- The Strategy Challenge in SMT Solving (Q4913859) (← links)
- Simple and Efficient Clause Subsumption with Feature Vector Indexing (Q4913860) (← links)
- Superposition for Bounded Domains (Q4913861) (← links)
- MACE4 and SEM: A Comparison of Finite Model Generators (Q4913862) (← links)
- Group Embedding of the Projective Plane PG(2, 3) (Q4913863) (← links)
- A Geometric Procedure with Prover9 (Q4913864) (← links)
- Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction (Q4913865) (← links)
- (Dual) Hoops Have Unique Halving (Q4913866) (← links)
- Gibbard’s Collapse Theorem for the Indicative Conditional: An Axiomatic Approach (Q4913867) (← links)
- Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants (Q4913868) (← links)
- Toward a Procedure for Data Mining Proofs (Q4913870) (← links)
- Theorem Proving in Large Formal Mathematics as an Emerging AI Field (Q4913871) (← links)