Jeffrey Ward

	2004
2		Jeffrey Ward, John S. Schlipf: Answer Set Programming with Clause Learning. LPNMR 2004: 302-313
	2003
1		John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean Weaver, Michael Dransfield, W. Mark Vanfleet: SBSAT: a State-Based, BDD-Based Satisfiability Solver. SAT 2003: 398-410

Coauthor Index

1	Michael Dransfield	[1]
2	John V. Franco	[1]
3	Michal Kouril	[1]
4	John S. Schlipf	[1] [2]
5	W. Mark Vanfleet	[1]
6	Sean Weaver	[1]