Jessica Davies

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
c7		Jessica Davies, Nina Narodytska, Toby Walsh: Eliminating the Weakest Link: Making Manipulation Intractable? AAAI 2012
i3		Jessica Davies, Nina Narodytska, Toby Walsh: Eliminating the Weakest Link: Making Manipulation Intractable? CoRR abs/1204.3918 (2012)
	2011
c6		Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh: Complexity of and Algorithms for Borda Manipulation. AAAI 2011
c5		Jessica Davies, Fahiem Bacchus: Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. CP 2011: 225-239
i2		Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh: Complexity of and Algorithms for Borda Manipulation. CoRR abs/1105.5667 (2011)
	2010
j1		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)
c4		Jessica Davies, Jeremy Cho, Fahiem Bacchus: Using Learnt Clauses in maxsat. CP 2010: 176-190
i1		Jessica Davies, George Katsirelos, Nina Narodytska, Toby Walsh: An Empirical Study of Borda Manipulation. CoRR abs/1007.5104 (2010)
	2007
c3		Jessica Davies, Fahiem Bacchus: Using More Reasoning to Improve #SAT Solving. AAAI 2007: 185-190
c2		Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik: Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. FMCAD 2007: 3-12
	2006
c1		Horst Samulowitz, Jessica Davies, Fahiem Bacchus: Preprocessing QBF. CP 2006: 514-529

Coauthor Index

Last update Tue May 21 15:57:46 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page