Andy King, Harald Søndergaard
Inferring Congruence Equations Using SAT
CAV, 2008.
@inproceedings{CAV-2008-KingS, author = "Andy King and Harald Søndergaard", booktitle = "{Proceedings of the 20th International Conference on Computer Aided Verification}", doi = "10.1007/978-3-540-70545-1_26", isbn = "978-3-540-70543-7", pages = "281--293", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Inferring Congruence Equations Using SAT}", volume = 5123, year = 2008, }