Pages that link to "Item:Q4119174"
From MaRDI portal
The following pages link to Towards feasible solutions of the tautology problem (Q4119174):
Displaying 7 items.
- Simulating circuit-level simplifications on CNF (Q352967) (← links)
- Tautology testing with a generalized matrix reduction method (Q1132862) (← links)
- Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence (Q1314288) (← links)
- The linked conjunct method for automatic deduction and related search techniques (Q1836998) (← links)
- Some hard examples for the resolution method (Q2277874) (← links)
- Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation (Q2946739) (← links)
- Spring Meeting of the Association for Symbolic Logic, San Francisco, 1991 (Q4008763) (← links)