Login / Signup
Amelia C. Lessen
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Knowledge Intensive
Stochastic Local Search Algorithms
Sat Solvers
Boolean Satisfiability
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)
Thomas C. Henderson
,
Tessa Nishida
,
Amelia C. Lessen
,
Nicola Wernecke
,
Kutay Eken
,
David Sacharny
A New Approach to Probabilistic Knowledge-Based Decision Making.
ICAART (3)
(2023)