| |
| 2008 | ||
|---|---|---|
| 3 | EE | Olga Ohrimenko, Peter J. Stuckey: Modelling for Lazy Clause Generation. CATS 2008: 27-37 |
| 2007 | ||
| 2 | EE | Olga Ohrimenko, Peter J. Stuckey, Michael Codish: Propagation = Lazy Clause Generation. CP 2007: 544-558 |
| 1 | EE | Aaron Harwood, Olga Ohrimenko: Mean Field Models of Message Throughput in Dynamic Peer-to-Peer Systems CoRR abs/0705.2065: (2007) |
| 1 | Michael Codish | [2] |
| 2 | Aaron Harwood | [1] |
| 3 | Peter J. Stuckey | [2] [3] |