Pages that link to "Item:Q1923820"
From MaRDI portal
The following pages link to Using hints to increase the effectiveness of an automated reasoning program: Case studies (Q1923820):
Displayed 7 items.
- Double-negation elimination in some propositional logics (Q813082) (← links)
- Axiomatizing the skew Boolean propositional calculus (Q877820) (← links)
- Shortest axiomatizations of implicational S4 and S5 (Q1430904) (← links)
- Proofs as schemas and their heuristic use (Q1583854) (← links)
- The application of automated reasoning to formal models of combinatorial optimization (Q1854978) (← links)
- MaLARea SG1 - Machine Learner for Automated Reasoning with Semantic Guidance (Q3541722) (← links)
- Heaps and Data Structures: A Challenge for Automated Provers (Q5200023) (← links)