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 5 items.
- SATLike (Q51743) (← 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)
