| |
| 2003 | ||
|---|---|---|
| 5 | EE | Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi: Random 3-SAT: The Plot Thickens. Constraints 8(3): 243-261 (2003) |
| 2001 | ||
| 4 | EE | Alfonso San Miguel Aguirre, Moshe Y. Vardi: Random 3-SAT and BDDs: The Plot Thickens Further. CP 2001: 121-136 |
| 2000 | ||
| 3 | EE | Cristian Coarfa, Demetrios D. Demopoulos, Alfonso San Miguel Aguirre, Devika Subramanian, Moshe Y. Vardi: Random 3-SAT: The Plot Thickens. CP 2000: 143-159 |
| 1992 | ||
| 2 | Alfonso San Miguel Aguirre: Symmetries and the Cardinality Operator. ECAI 1992: 18-22 | |
| 1991 | ||
| 1 | Alfonso San Miguel Aguirre: How to Use Symmetries in Boolean Constraint Solving. WCLP 1991: 287-306 | |
| 1 | Cristian Coarfa | [3] [5] |
| 2 | Demetrios D. Demopoulos | [3] [5] |
| 3 | Devika Subramanian | [3] [5] |
| 4 | Moshe Y. Vardi | [3] [4] [5] |