output
20052022
most citedNopol: Automatic Repair of Conditional Statement Bugs in Java Programs

432 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.CCShow all

3 papers · 1 filter

cs.CC2019★ 1 cited

Graph Width Measures for CNF-Encodings with Auxiliary Variables

Stefan Mengel, Romain Wallon

We consider bounded width CNF-formulas where the width is measured by popular graph width measures on graphs associated to CNF-formulas. Such restricted graph classes, in particula…

cs.CC2018

Knowledge Compilation, Width and Quantification

Florent Capelli, Stefan Mengel

We generalize many results concerning the tractability of SAT and #SAT on bounded treewidth CNF-formula in the context of Quantified Boolean Formulas (QBF). To this end, we start b…

cs.CC2015★ 6 cited

Minimal Distance of Propositional Models

Mike Behrisch, Miki Hermann, Stefan Mengel +1

We investigate the complexity of three optimization problems in Boolean propositional logic related to information theory: Given a conjunctive formula over a set of relations, find…