Pages that link to "Item:Q3386749"
From MaRDI portal
The following pages link to NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability (Q3386749):
Displaying 1 item.
The following pages link to NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability (Q3386749):
Displaying 1 item.