SATLike

swMATH36041MaRDI QIDQ51743FDOQ51743

Author name not available (Why is that?)

Described by source

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

Cited In (1)

• Efficient local search for pseudo Boolean optimization

This page was built for software: SATLike