Pages that link to "Item:Q1272606"
From MaRDI portal
The following pages link to The CADE-14 ATP system competition (Q1272606):
Displaying 14 items.
- Evaluating general purpose automated theorem proving systems (Q1606324) (← links)
- Solving quantified linear arithmetic by counterexample-guided instantiation (Q1688537) (← links)
- The OWL reasoner evaluation (ORE) 2015 competition report (Q1694573) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Confidences for commonsense reasoning (Q2055883) (← links)
- Ground joinability and connectedness in the superposition calculus (Q2104507) (← links)
- \textsf{lazyCoP}: lazy paramodulation meets neurally guided search (Q2142075) (← links)
- Extending SMT solvers to higher-order logic (Q2305406) (← links)
- GRUNGE: a grand unified ATP challenge (Q2305410) (← links)
- SCL clause learning from simple models (Q2305416) (← links)
- Automated Reasoning (Q5307082) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- Making higher-order superposition work (Q5918575) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)