Theory of Computing Systems Theory of Computing Systems, Springer Verlag, 2020, ⟨10.1007/s00224-019-09930-2⟩ Theory of Computing Systems, 2020, ⟨10.1007/s00224-019-09930-2⟩
Journal of Computer and System Sciences Journal of Computer and System Sciences, 2019, ⟨10.1016/j.jcss.2018.10.002⟩ Journal of Computer and System Sciences, Elsevier, 2019, ⟨10.1016/j.jcss.2018.10.002⟩ CoRR CoRR, 2018, abs/1808.05017
Lecture Notes in Computer Science ISBN: 9783030242572 SAT Theory and Applications of Satisfiability Testing – SAT 2019 Theory and Applications of Satisfiability Testing – SAT 2019, Jul 2019, Lisbon, Portugal. pp.90-99, ⟨10.1007/978-3-030-24258-9_6⟩
Theory of Computing Systems Theory of Computing Systems, Springer Verlag, 2016, 58 (4), pp.506-527. ⟨10.1007/s00224-015-9630-8⟩ Theory of Computing Systems, 2016, 58 (4), pp.506-527. ⟨10.1007/s00224-015-9630-8⟩