- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 2 |      | Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: Cardinality Networks and Their Applications. SAT 2009: 167-180 |
| 2008 | ||
| 1 | | 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] |