research
∙
06/07/2023
Top-Down Knowledge Compilation for Counting Modulo Theories
Propositional model counting (#SAT) can be solved efficiently when the i...
share
research
∙
02/08/2022
Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation
Combinatorial optimisation problems are ubiquitous in artificial intelli...
research
∙
07/15/2021
Learning Mixed-Integer Linear Programs from Contextual Examples
Mixed-integer linear programs (MILPs) are widely used in artificial inte...
research
∙
04/23/2020
Human-Machine Collaboration for Democratizing Data Science
Everybody wants to analyse their data, but only few posses the data scie...
research
∙
01/13/2020
