Login / Signup
John Slaney
Publication Activity (10 Years)
Years Active: 1989-2018
Publications (10 Years): 6
Top Topics
Sat Instances
Combinatorial Optimisation
Universally Quantified
Conflict Resolution
Top Venues
CoRR
J. Autom. Reason.
J. Philos. Log.
FLAP
</>
Publications
</>