Pages that link to "Item:Q274404"

The following pages link to MaxSAT by improved instance-specific algorithm configuration (Q274404):

Displaying 9 items.

• New local search methods for partial MaxSAT (Q329035) (← links)
• WPM3: an (in)complete algorithm for weighted partial MaxSAT (Q1680676) (← links)
• PyDGGA: distributed GGA for automatic configuration (Q2118281) (← links)
• Boosting evolutionary algorithm configuration (Q2163844) (← links)
• On the use of fitness landscape features in meta-learning based algorithm selection for the quadratic assignment problem (Q2285657) (← links)
• The algorithm selection competitions 2015 and 2017 (Q2321293) (← links)
• Multi-language evaluation of exact solvers in graphical model discrete optimization (Q2398440) (← links)
• ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver (Q5015596) (← links)
• Consensus-finding that preserves mutually conflicting hypothetical information from a same agent (Q5145440) (← links)