 | 2012 |
|---|
| 10 |       | Jessica Davies,
Nina Narodytska,
Toby Walsh:
Eliminating the Weakest Link: Making Manipulation Intractable?
CoRR abs/1204.3918: (2012) |
| 2011 |
|---|
| 9 | | Jessica Davies,
George Katsirelos,
Nina Narodytska,
Toby Walsh:
Complexity of and Algorithms for Borda Manipulation.
AAAI 2011 |
| 8 | | Jessica Davies,
Fahiem Bacchus:
Solving MAXSAT by Solving a Sequence of Simpler SAT Instances.
CP 2011: 225-239 |
| 7 | | Jessica Davies,
George Katsirelos,
Nina Narodytska,
Toby Walsh:
Complexity of and Algorithms for Borda Manipulation
CoRR abs/1105.5667: (2011) |
| 2010 |
|---|
| 6 | | Jessica Davies,
Jeremy Cho,
Fahiem Bacchus:
Using Learnt Clauses in maxsat.
CP 2010: 176-190 |
| 5 | | Jessica Davies,
George Katsirelos,
Nina Narodytska,
Toby Walsh:
An Empirical Study of Borda Manipulation
CoRR abs/1007.5104: (2010) |
| 4 | | Jocelyn Simmonds,
Jessica Davies,
Arie Gurfinkel,
Marsha Chechik:
Exploiting resolution proofs to speed up LTL vacuity detection for BMC.
STTT 12(5): 319-335 (2010) |
| 2007 |
|---|
| 3 |  | Jessica Davies,
Fahiem Bacchus:
Using More Reasoning to Improve #SAT Solving.
AAAI 2007: 185-190 |
| 2 | | Jocelyn Simmonds,
Jessica Davies,
Arie Gurfinkel,
Marsha Chechik:
Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC.
FMCAD 2007: 3-12 |
| 2006 |
|---|
| 1 | | Horst Samulowitz,
Jessica Davies,
Fahiem Bacchus:
Preprocessing QBF.
CP 2006: 514-529 |
Data released under the ODC-BY 1.0 license — See also our legal information page