Concepedia

H. E. Dixon

HE

Statistics

Publications

6

Citations

166

H-Index

6

Active since

2000

Affiliations

University of Oregon(Current)

On Time Systems (United States)

H. E. Dixon is an author at University of Oregon specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsSatisfiabilityAutomated ReasoningFormal VerificationArtificial IntelligenceData ScienceProof Complexity

Publications per year

2000–2011

6

Publications

6

Inference methods for a pseudo-boolean satisfiability solver

H. E. Dixon, Matthew L. Ginsberg · National Conference on Artificial Intelligence · 2002 · 71 citations

Artificial Intelligence, Engineering, Pseudo-boolean Equivalent +18

Generalizing Boolean Satisfiability II: Theory

H. E. Dixon, Matthew L. Ginsberg, Eugene M. Luks et al. · Journal of Artificial Intelligence Research · 2004 · 23 citations · Full text

Combining satisfiability techniques from AI and OR

H. E. Dixon, Matthew L. Ginsberg · The Knowledge Engineering Review · 2000 · 22 citations

Artificial Intelligence, Engineering, Verification +16

Green Driver: AI in a Microcosm

J. Apple, P Chang, Aran Clauson et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2011 · 22 citations · Full text

Artificial Intelligence, Ai Architecture, Intelligent Traffic Management +14

Generalizing Boolean Satisfiability III: Implementation

H. E. Dixon, Matthew L. Ginsberg, Daniel Hofer et al. · Journal of Artificial Intelligence Research · 2005 · 14 citations · Full text

Engineering, Boolean Function, Automated Reasoning +15

1–5 of 6