The following pages link to QMaxSAT (Q21549):
Displaying 8 items.
- MaxSAT by improved instance-specific algorithm configuration (Q274404) (← links)
- New local search methods for partial MaxSAT (Q329035) (← links)
- Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability (Q511772) (← links)
- Exploiting subproblem optimization in SAT-based maxsat algorithms (Q525063) (← links)
- A constraint optimization approach to causal discovery from subsampled time series data (Q1678425) (← links)
- WPM3: an (in)complete algorithm for weighted partial MaxSAT (Q1680676) (← links)
- Using the method of conditional expectations to supply an improved starting point for CCLS (Q2091119) (← links)
- A novel algorithm for Max Sat calling MOCE to order (Q2149880) (← links)
