%0 Journal Article %1 journals/jacm/NieuwenhuisOT06 %A Nieuwenhuis, Robert %A Oliveras, Albert %A Tinelli, Cesare %D 2006 %J J. ACM %K dblp %N 6 %P 937-977 %T Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T). %U http://dblp.uni-trier.de/db/journals/jacm/jacm53.html#NieuwenhuisOT06 %V 53

@article{journals/jacm/NieuwenhuisOT06, added-at = {2022-10-02T00:00:00.000+0200}, author = {Nieuwenhuis, Robert and Oliveras, Albert and Tinelli, Cesare}, biburl = {https://www.bibsonomy.org/bibtex/2925c6ce6412d540e8b1be1416e091e06/dblp}, ee = {https://doi.org/10.1145/1217856.1217859}, interhash = {c6622f01b394bb8eb234f79bb1d4fd59}, intrahash = {925c6ce6412d540e8b1be1416e091e06}, journal = {J. ACM}, keywords = {dblp}, number = 6, pages = {937-977}, timestamp = {2024-04-08T20:01:45.000+0200}, title = {Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T).}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm53.html#NieuwenhuisOT06}, volume = 53, year = 2006 }