Items where authors include "Creignou, N"

Proceedings Paper

Beyersdorff, O orcid.org/0000-0002-2870-1648, Creignou, N, Egly, U et al. (1 more author) (2016) Report from Dagstuhl Seminar 16381: SAT and Interactions. In: Dagstuhl Reports. Dagstuhl Seminar 16381, SAT and Interactions, 18-23 Sep 2016. Dagstuhl Publishing , pp. 74-93.