Boolean Ring Satisfiability
Resource
Proceedings of the seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004), Vancouver, BC, Candada, pp.281-286, 2004
Journal
Proceedings of the seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004)
Journal Volume
Vancouver
Pages
281-286
Date Issued
2004
Date
2004
Author(s)
Dershowitz N.
Hsiang J.
Huang G. S.
Kaiss D.
Type
conference paper