Chop-SAT: A New Approach to Solving SAT and Probabilistic SAT for Agent Knowledge Bases. - Thomas C. Henderson; David Sacharny; Amar Mitiche; Xiuyi Fan; Amelia C. Lessen; Ishaan Rajan; Tessa Nishida (ICAART (3), 2023)