WPM3

swMATH41870MaRDI QIDQ5973734FDOQ5973734

Author name not available (Why is that?)

Described by source

• WPM3: an (in)complete algorithm for weighted partial MaxSAT

Cited In (5)

• An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem
• Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability
• Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT
• SAT-based models for overlapping community detection in networks
• Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT

This page was built for software: WPM3