Jessica Davies

	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

Coauthor Index

1	Fahiem Bacchus	[1] [3]
2	Marsha Chechik	[2]
3	Arie Gurfinkel	[2]
4	Horst Samulowitz	[1]
5	Jocelyn Simmonds	[2]

Colors in the list of coauthors