Olaf Beyersdorff, Nadia Creignou, Uwe Egly, Heribert Vollmer. SAT and Interactions (Dagstuhl Seminar 16381). Dagstuhl Reports, 6(9):74-93, 2016. [doi]
@article{BeyersdorffCEV16, title = {SAT and Interactions (Dagstuhl Seminar 16381)}, author = {Olaf Beyersdorff and Nadia Creignou and Uwe Egly and Heribert Vollmer}, year = {2016}, doi = {10.4230/DagRep.6.9.74}, url = {http://dx.doi.org/10.4230/DagRep.6.9.74}, researchr = {https://researchr.org/publication/BeyersdorffCEV16}, cites = {0}, citedby = {0}, journal = {Dagstuhl Reports}, volume = {6}, number = {9}, pages = {74-93}, }