Dsat: A Native SAT Solver for Discrete Logic

arXiv:2605.09347v1 Announce Type: new Abstract: Discrete variables are common in many applications, such as probabilistic reasoning, planning and explainable AI. When symbolic reasoning techniques are brought in to bear on these applications, a standard technique for handling discrete variables is...