Tessa Nishida

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Knowledge Intensive

Stochastic Local Search Algorithms

Boolean Satisfiability

Top Venues

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)