Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton
Using Problem Symmetry in Search Based Satisfiability Algorithms
DATE, 2002.
@inproceedings{DATE-2002-GoldbergPB,
acmid = "874513",
author = "Evguenii I. Goldberg and Mukul R. Prasad and Robert K. Brayton",
booktitle = "{Proceedings of the Seventh Conference on Design, Automation and Test in Europe}",
doi = "10.1109/DATE.2002.998261",
isbn = "0-7695-1471-5",
pages = "134--141",
publisher = "{IEEE Computer Society}",
title = "{Using Problem Symmetry in Search Based Satisfiability Algorithms}",
year = 2002,
}