research
∙
09/02/2021
On Dedicated CDCL Strategies for PB Solvers
Current implementations of pseudo-Boolean (PB) solvers working on native...
share
research
∙
05/09/2020
On Weakening Strategies for PB Solvers
Current pseudo-Boolean solvers implement different variants of the cutti...
research
∙
11/10/2018
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
We propose NOPOL, an approach to automatic repair of buggy conditional s...
research
∙
10/24/2014
On the Complexity of Optimization Problems based on Compiled NNF Representations
Optimization is a key task in a number of applications. When the set of ...
research
∙
05/06/2014