%0 Conference Paper %1 conf/sat/EenS03 %A Eén, Niklas %A Sörensson, Niklas %B SAT %D 2003 %E Giunchiglia, Enrico %E Tacchella, Armando %I Springer %K %P 502-518 %T An Extensible SAT-solver. %U http://dblp.uni-trier.de/db/conf/sat/sat2003.html#EenS03 %V 2919 %@ 3-540-20851-8

@inproceedings{conf/sat/EenS03, added-at = {2023-12-12T18:38:05.000+0100}, author = {Eén, Niklas and Sörensson, Niklas}, biburl = {https://www.bibsonomy.org/bibtex/22439aebcab0a8d46b7c476d741779d33/admin}, booktitle = {SAT}, crossref = {conf/sat/2003}, editor = {Giunchiglia, Enrico and Tacchella, Armando}, ee = {https://doi.org/10.1007/978-3-540-24605-3_37}, interhash = {151d69dfc3555b5c2a42b1e1acdb6010}, intrahash = {2439aebcab0a8d46b7c476d741779d33}, isbn = {3-540-20851-8}, keywords = {}, pages = {502-518}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T18:38:05.000+0100}, title = {An Extensible SAT-solver.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2003.html#EenS03}, volume = 2919, year = 2003 }