SymChaff: Exploiting Symmetry in a Structure-Aware Satisfiability Solver
Constraints - Netherlands
doi 10.1007/s10601-008-9060-1
Full Text
Open PDFAbstract
Available in full text
Categories
Date
October 9, 2008
Authors
Publisher
Springer Science and Business Media LLC