Pages that link to "Item:Q2324225"
From MaRDI portal
The following pages link to What a difference a variable makes (Q2324225):
Displaying 8 items.
- Generating extended resolution proofs with a BDD-based SAT solver (Q2044191) (← links)
- Covered clauses are not propagation redundant (Q2096437) (← links)
- Simulating strong practical proof systems with extended resolution (Q2209554) (← links)
- \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML (Q2233509) (← links)
- Strong extension-free proof systems (Q2303251) (← links)
- Truth Assignments as Conditional Autarkies (Q3297584) (← links)
- (Q4989407) (← links)
- The packing chromatic number of the infinite square grid is 15 (Q6535369) (← links)