Pages that link to "Item:Q5014283"

The following pages link to Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT (Q5014283):

Displaying 3 items.

• Local search with a SAT oracle for combinatorial optimization (Q2233496) (← links)
• \texttt{TT-Open-WBO-Inc}: an efficient anytime MaxSAT solver (Q6618905) (← links)
• Integrating multi-armed bandit with local search for MaxSAT (Q6665727) (← links)