The following pages link to (Q5715661):
Displayed 5 items.
- On the refutational completeness of signed binary resolution and hyperresolution (Q1037933) (← links)
- Modelling and solving temporal reasoning as propositional satisfiability (Q2389682) (← links)
- A taxonomy of exact methods for partial Max-SAT (Q2434567) (← links)
- Coalition formation in social environments with logic-based agents1 (Q5145446) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)