Dynamic Symmetry-Breaking for Improved Boolean Optimization

doi 10.1145/1120725.1120909
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press