SATLike

MaRDI QIDQ51743swMATHFDO

Official website https://www.sciencedirect.com/science/article/abs/pii/S0004370220301053

Described by source

• Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability

Cited in

(6)

• Efficient local search for pseudo Boolean optimization
• QMaxSAT
• Open-WBO
• CCEHC
• WPM3
• Open-WBO-Inc

This page was built for software: SATLike