SATLike

swMATH36041MaRDI QIDQ51743FDOQ51743

Author name not available (Why is that?)

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