Pages that link to "Item:Q2506236"
From MaRDI portal
The following pages link to Exact Max-SAT solvers for over-constrained problems (Q2506236):
Displaying 6 items.
- MaxSAT by improved instance-specific algorithm configuration (Q274404) (← links)
- An improved algorithm for the \((n, 3)\)-MaxSAT problem: asking branchings to satisfy the clauses (Q2051907) (← links)
- Reoptimization of minimum latency problem revisited: don't panic when asked to revisit the route after local modifications (Q2420657) (← links)
- Modelling Max-CSP as Partial Max-SAT (Q3502687) (← links)
- A Preprocessor for Max-SAT Solvers (Q3502688) (← links)
- On Inconsistent Clause-Subsets for Max-SAT Solving (Q3523061) (← links)
