Jeffrey Ward

According to our database, Jeffrey Ward authored at least 4 papers between 2003 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2016

Software Defined Radio for direction-finding in UAV wildlife tracking.

Kurt VonEhr, Seth Hilaski, Bruce E. Dunne, Jeffrey Ward

Proceedings of the 2016 IEEE International Conference on Electro Information Technology, 2016

2006

Mixing of quantum walk on circulant bunkbeds.

Peter Lo, Siddharth Rajaram, Diana Schepens, Daniel Sullivan, Christino Tamon, Jeffrey Ward

Quantum Inf. Comput., 2006

2004

Answer Set Programming with Clause Learning.

Jeffrey Ward, John S. Schlipf

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

2003

SBSAT: a State-Based, BDD-Based Satisfiability Solver.

John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean A. Weaver, Michael R. Dransfield, W. Mark Vanfleet

Proceedings of the Theory and Applications of Satisfiability Testing, 2003