Login / Signup
James P. Bridge
Publication Activity (10 Years)
Years Active: 2013-2019
Publications (10 Years): 1
Top Topics
Theorem Prover
Machine Learning
Max Sat
Formal Proof
Top Venues
J. Autom. Reason.
Math. Comput. Sci.
CoRR
CICM
</>
Publications
</>