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

Browse the full ICAART paper archive.