| 2007 |
|---|
| 4 | EE | Cristopher Moore,
Gabriel Istrate,
Demetrios D. Demopoulos,
Moshe Y. Vardi:
A continuous-discontinuous second-order transition in the satisfiability of random Horn-SAT formulas.
Random Struct. Algorithms 31(2): 173-185 (2007) |
| 2005 |
|---|
| 3 | EE | Cristopher Moore,
Gabriel Istrate,
Demetrios D. Demopoulos,
Moshe Y. Vardi:
A Continuous-Discontinuous Second-Order Transition in the Satisfiability of Random Horn-SAT Formulas.
APPROX-RANDOM 2005: 414-425 |
| 2003 |
|---|
| 2 | 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) |
| 2000 |
|---|
| 1 | 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 |
