Login / Signup
Kristopher Brown
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 10
Top Topics
Model Checker
Data Integration
Weighted Max Sat
Rewrite Rules
Top Venues
CoRR
J. Log. Algebraic Methods Program.
SAT
CAV (2)
</>
Publications
</>