Armin Biere, Vijay Ganesh, Martin Grohe, Jakob Nordström, Ryan Williams. Theory and Practice of SAT Solving (Dagstuhl Seminar 15171). Dagstuhl Reports, 5(4):98-122, 2015. [doi]
@article{BiereGGNW15, title = {Theory and Practice of SAT Solving (Dagstuhl Seminar 15171)}, author = {Armin Biere and Vijay Ganesh and Martin Grohe and Jakob Nordström and Ryan Williams}, year = {2015}, doi = {10.4230/DagRep.5.4.98}, url = {http://dx.doi.org/10.4230/DagRep.5.4.98}, researchr = {https://researchr.org/publication/BiereGGNW15}, cites = {0}, citedby = {0}, journal = {Dagstuhl Reports}, volume = {5}, number = {4}, pages = {98-122}, }