Login / Signup
John Kyle Brubaker
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Artificial Intelligence
Unsatisfiable Cores
Upper Bound
Sat Solvers
Top Venues
Mach. Learn. Knowl. Extr.
</>
Publications
</>
Gili Rosenberg
,
John Kyle Brubaker
,
Martin J. A. Schuetz
,
Grant Salton
,
Zhihuai Zhu
,
Elton Yechao Zhu
,
Serdar Kadioglu
,
Sima E. Borujeni
,
Helmut G. Katzgraber
Explainable Artificial Intelligence Using Expressive Boolean Formulas.
Mach. Learn. Knowl. Extr.
5 (4) (2023)