João P. Marques Silva. Algebraic Simplification Techniques for Propositional Satisfiability. In Rina Dechter, editor, Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings. Volume 1894 of Lecture Notes in Computer Science, pages 537-542, Springer, 2000. [doi]
@inproceedings{Silva00:0,
title = {Algebraic Simplification Techniques for Propositional Satisfiability},
author = {João P. Marques Silva},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/1894/18940537.htm},
tags = { algebra},
researchr = {https://researchr.org/publication/Silva00%3A0},
cites = {0},
citedby = {0},
pages = {537-542},
booktitle = {Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings},
editor = {Rina Dechter},
volume = {1894},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-41053-8},
}