Pages that link to "Item:Q2510176"
From MaRDI portal
The following pages link to Resolution procedures for multiple-valued optimization (Q2510176):
Displaying 4 items.
- On the refutational completeness of signed binary resolution and hyperresolution (Q1037933) (← links)
- The SAT problem of signed CNF formulas (Q2701980) (← links)
- MaxSAT resolution for regular propositional logic (Q6066845) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)