The following pages link to WPM3 (Q5973734):
Displayed 5 items.
- SAT-based models for overlapping community detection in networks (Q783048) (← links)
- An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem (Q1725596) (← links)
- Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability (Q2211872) (← links)
- Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT (Q5014283) (← links)
- Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT (Q5015607) (← links)