Pages that link to "Item:Q2211872"
From MaRDI portal
The following pages link to Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability (Q2211872):
Displaying 12 items.
- SATLike (Q51743) (← links)
- New local search methods for partial MaxSAT (Q329035) (← links)
- SAT-based MaxSAT algorithms (Q360042) (← links)
- Exploiting subproblem optimization in SAT-based maxsat algorithms (Q525063) (← links)
- Solving MaxSAT with bit-vector optimization (Q1656560) (← links)
- WPM3: an (in)complete algorithm for weighted partial MaxSAT (Q1680676) (← links)
- An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem (Q1725596) (← links)
- Using the method of conditional expectations to supply an improved starting point for CCLS (Q2091119) (← links)
- Efficient local search for pseudo Boolean optimization (Q2118314) (← links)
- Generalization of the subset sum problem and cubic forms (Q6039136) (← links)
- \texttt{TT-Open-WBO-Inc}: an efficient anytime MaxSAT solver (Q6618905) (← links)
- Integrating multi-armed bandit with local search for MaxSAT (Q6665727) (← links)
