Pages that link to "Item:Q3399426"
From MaRDI portal
The following pages link to Introduction to Mathematics of Satisfiability (Q3399426):
Displaying 6 items.
- Autark assignments of Horn CNFs (Q1742887) (← links)
- Lego-like spheres and tori (Q2362132) (← links)
- Semidefinite resolution and exactness of semidefinite relaxations for satisfiability (Q2446872) (← links)
- Mathematical Logic for Computer Science (Q2894076) (← links)
- Disjunctive Programs with Set Constraints (Q2900542) (← links)
- A multistep strategy for polynomial system solving over finite fields and a new algebraic attack on the stream cipher Trivium (Q6597203) (← links)
