Chien-Chung Tsai, Malgorzata Marek-Sadowska. Boolean Matching Using Generalized Reed-Muller Forms. In DAC. pages 339-344, 1994. [doi]
@inproceedings{TsaiM94:2, title = {Boolean Matching Using Generalized Reed-Muller Forms}, author = {Chien-Chung Tsai and Malgorzata Marek-Sadowska}, year = {1994}, doi = {10.1145/196244.196404}, url = {http://doi.acm.org/10.1145/196244.196404}, researchr = {https://researchr.org/publication/TsaiM94%3A2}, cites = {0}, citedby = {0}, pages = {339-344}, booktitle = {DAC}, }