Login / Signup
Ishaan Rajan
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Graph Coloring
Boolean Satisfiability
Solving Hard
Sat Solvers
Top Venues
ICAART (3)
</>
Publications
</>
Thomas C. Henderson
,
David Sacharny
,
Amar Mitiche
,
Xiuyi Fan
,
Amelia C. Lessen
,
Ishaan Rajan
,
Tessa Nishida
Chop-SAT: A New Approach to Solving SAT and Probabilistic SAT for Agent Knowledge Bases.
ICAART (3)
(2023)