The resonance strategy
From MaRDI portal
Publication:1343396
DOI10.1016/0898-1221(94)00220-FzbMath0815.68090WikidataQ114262235 ScholiaQ114262235MaRDI QIDQ1343396
Publication date: 30 June 1995
Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Using hints to increase the effectiveness of an automated reasoning program: Case studies ⋮ Shortest axiomatizations of implicational S4 and S5 ⋮ Double-negation elimination in some propositional logics
Uses Software
Cites Work
- Problem corner: Robbins algebra: Conditions that make a near-Boolean algebra Boolean
- Absorption and idempotency criteria for a problem in near-Boolean algebras
- Complexity and related enhancements for automated theorem-proving programs
- Single axioms for groups and abelian groups with various operations
- Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The resonance strategy
