research
∙
06/27/2023
Delivering Inflated Explanations
In the quest for Explainable Artificial Intelligence (XAI) one of the qu...
share
research
∙
05/05/2020
Encoding Linear Constraints into SAT
Linear integer constraints are one of the most important constraints in ...
research
∙
07/28/2015
Projected Model Counting
Model counting is the task of computing the number of assignments to var...
research
∙
11/20/2014
