Kolb, Samuel

12 publications

AAAI 2021 Democratizing Constraint Satisfaction Problems Through Machine Learning Mohit Kumar, Samuel Kolb, Clément Gautrais, Luc De Raedt

IJCAI 2021 Hybrid Probabilistic Inference with Logical and Algebraic Constraints: A Survey Paolo Morettin, Pedro Zuidberg Dos Martires, Samuel Kolb, Andrea Passerini

AAAI 2020 Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation Mohit Kumar, Samuel Kolb, Stefano Teso, Luc De Raedt

AAAI 2020 Learning Weighted Model Integration Distributions Paolo Morettin, Samuel Kolb, Stefano Teso, Andrea Passerini

UAI 2020 Ordering Variables for Weighted Model Integration Vincent Derkinderen, Evert Heylen, Pedro Zuidberg Dos Martires, Samuel Kolb, Luc Raedt

MLJ 2020 Predictive Spreadsheet Autocompletion with Constraints Samuel Kolb, Stefano Teso, Anton Dries, Luc De Raedt

ECML-PKDD 2020 VisualSynth: Democratizing Data Science in Spreadsheets Clément Gautrais, Yann Dauxais, Samuel Kolb, Arcchit Jain, Mohit Kumar, Stefano Teso, Elia Van Wolputte, Gust Verbruggen, Luc De Raedt

UAI 2019 How to Exploit Structure While Solving Weighted Model Integration Problems Samuel Kolb, Pedro Zuidberg Dos Martires, Luc De Raedt

IJCAI 2019 The Pywmi Framework and Toolbox for Probabilistic Inference Using Weighted Model Integration Samuel Kolb, Paolo Morettin, Pedro Zuidberg Dos Martires, Francesco Sommavilla, Andrea Passerini, Roberto Sebastiani, Luc De Raedt

IJCAI 2018 Efficient Symbolic Integration for Probabilistic Inference Samuel Kolb, Martin Mladenov, Scott Sanner, Vaishak Belle, Kristian Kersting

IJCAI 2018 Learning SMT(LRA) Constraints Using SMT Solvers Samuel Kolb, Stefano Teso, Andrea Passerini, Luc De Raedt

MLJ 2017 Learning Constraints in Spreadsheets and Tabular Data Samuel Kolb, Sergey Paramonov, Tias Guns, Luc De Raedt