SATLike

swMATH36041MaRDI QIDQ51743

No author found.

Described by source

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

Related Items (1)

Efficient local search for pseudo Boolean optimization

This page was built for software: SATLike