Published in: Conference Series: Formal Methods in Computer-Aided Design

Published in: Lecture Notes in Computer Science (2015), Seite 17-32

Published in: Mathematische Zeitschrift, 265 (2010) 3, Seite 639-652

Published in: Theory and Applications of Satisfiability Testing – SAT 2018 (2018), Seite 346-362

Published in: Geometric and Functional Analysis, 26 (2016) 5, Seite 1297-1358

Published in: Lecture Notes in Computer Science (2015), Seite 88-103

Published in: Hardware and Software: Verification and Testing (2013), Seite 72-85

Published in: Journal of Artificial Intelligence Research, 58 (2017), Seite 431-451

Published in: Constraints, 21 (2016) 1, Seite 41-58

Published in: Hardware and Software: Verification and Testing (2014), Seite 54-67

Published in: Theory and Applications of Satisfiability Testing – SAT 2012 (2012), Seite 298-311

Published in: Theory and Applications of Satisfiability Testing – SAT 2012 (2012), Seite 397-409

Published in: Notices of the American Mathematical Society, 68 (2021) 1, Seite 1