| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: Cardinality Networks and Their Applications. SAT 2009: 167-180 |
| 2008 | ||
| 1 | EE | Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: Efficient Generation of Unsatisfiability Proofs and Cores in SAT. LPAR 2008: 16-30 |
| 1 | Robert Nieuwenhuis | [1] [2] |
| 2 | Albert Oliveras | [1] [2] |
| 3 | Enric Rodríguez-Carbonell | [1] [2] |