Pages that link to "Item:Q2694600"
From MaRDI portal
The following pages link to QMaxSATpb: a certified MaxSAT solver (Q2694600):
Displaying 4 items.
- QMaxSATpb: a certified MaxSAT solver (Q2694600) (← links)
- Query-guided maximum satisfiability (Q2828249) (← links)
- Certified dominance and symmetry breaking for combinatorial optimisation (Q6488808) (← links)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)