Daniel Sheridan. Comparing SAT Encodings for Model Checking. In Toby Walsh, editor, Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings. Volume 2239 of Lecture Notes in Computer Science, pages 784, Springer, 2001. [doi]
@inproceedings{Sheridan01, title = {Comparing SAT Encodings for Model Checking}, author = {Daniel Sheridan}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2239/22390784.htm}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/Sheridan01}, cites = {0}, citedby = {0}, pages = {784}, booktitle = {Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings}, editor = {Toby Walsh}, volume = {2239}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-42863-1}, }