Login / Signup
Allen Van Gelder
Publication Activity (10 Years)
Years Active: 1967-2024
Publications (10 Years): 3
Top Topics
Theorem Proving
Prime Implicants
Proof Planning
Real World Scenes
Top Venues
CoRR
J. Satisf. Boolean Model. Comput.
WoLLIC
Artif. Intell.
</>
Publications
</>