doi.org/10.1016/j.artint.2020.103354

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

Shaowei Cai
27
,
Zhendong Lei
6
Artificial Intelligence4.60
Volume: 287, Pages: 103354 - 103354
Published: Jun 29, 2020
Paper Fields
Paper Details
Title
Old techniques in new ways: Clause weighting, unit propagation and hybridization for maximum satisfiability
DOI
doi.org/10.1016/j.artint.2020.103354
Published Date
Jun 29, 2020
Journal
Artificial Intelligence
Volume
287
Pages
103354 - 103354
© 2026 Pluto Labs All rights reserved.