@InProceedings{ES04, Author = "E{\'e}n, N. and S{\"o}rensson, N.", Year = "2004", Title = "{An Extensible SAT-solver}", Editor = "Giunchiglia, E. and Tacchella, A.", BookTitle = "{Proceedings of the 6th International Conference on Theory and Applications of Satisfiability Testing}", Place = "Santa Margherita Ligure, Italy", Series = "Lecture Notes in Computer Science", Number = "2919", Pages = "502-518", Publisher = "Springer-Verlag", Comment = "" }