Follow
Samuel Kolb
Title
Cited by
Cited by
Year
Learning SMT (LRA) constraints using SMT solvers
SM Kolb, S Teso, A Passerini, L De Raedt
Proceedings of the Twenty-Seventh International Joint Conference on …, 2018
582018
Learning constraints in spreadsheets and tabular data
S Kolb, S Paramonov, T Guns, L De Raedt
Machine Learning 106, 1441-1468, 2017
532017
Efficient symbolic integration for probabilistic inference
S Kolb, M Mladenov, S Sanner, V Belle, K Kersting
27th International Joint Conference on Artificial Intelligence: IJCAI 2018 …, 2018
352018
Learning constraints and optimization criteria
S Kolb
Proceedings of the First Workshop on Declarative Learning Based Programming …, 2016
232016
Learning MAX-SAT from contextual examples for combinatorial optimisation
M Kumar, S Kolb, S Teso, L De Raedt
Artificial Intelligence 314, 103794, 2023
202023
How to exploit structure while solving weighted model integration problems
S Kolb, PZ Dos Martires, L De Raedt
Uncertainty in Artificial Intelligence, 744-754, 2020
202020
The pywmi framework and toolbox for probabilistic inference using weighted model integration
S Kolb, P Morettin, P Zuidberg Dos Martires, F Sommavilla, A Passerini, ...
Proceedings of the Twenty-Eighth International Joint Conference on …, 2019
19*2019
Learning linear programs from data
EA Schede, S Kolb, S Teso
2019 IEEE 31st International Conference on Tools with Artificial …, 2019
162019
Learning constraint programming models from data using generate-and-aggregate
M Kumar, S Kolb, T Guns
28th International Conference on Principles and Practice of Constraint …, 2022
152022
Learning weighted model integration distributions
P Morettin, S Kolb, S Teso, A Passerini
Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 5224-5231, 2020
142020
Tacle: Learning constraints in tabular data
S Paramonov, S Kolb, T Guns, L De Raedt
Proceedings of the 2017 ACM on Conference on Information and Knowledge …, 2017
142017
Elements of an automatic data scientist
L De Raedt, H Blockeel, S Kolb, S Teso, G Verbruggen
Advances in Intelligent Data Analysis XVII: 17th International Symposium …, 2018
132018
Predictive spreadsheet autocompletion with constraints
S Kolb, S Teso, A Dries, L De Raedt
Machine Learning 109, 307-325, 2020
122020
Hybrid probabilistic inference with logical and algebraic constraints: a survey
P Morettin, P Zuidberg Dos Martires, S Kolb, A Passerini
IJCAI, 4533-4542, 2021
112021
Learning max-sat models from examples using genetic algorithms and knowledge compilation
S Berden, M Kumar, S Kolb, T Guns
28th International Conference on Principles and Practice of Constraint …, 2022
82022
Human-machine collaboration for democratizing data science
C Gautrais, Y Dauxais, S Teso, S Kolb, G Verbruggen, L De Raedt
arXiv preprint arXiv:2004.11113, 2020
72020
Learning mixed-integer linear programs from contextual examples
M Kumar, S Kolb, L De Raedt, S Teso
arXiv preprint arXiv:2107.07136, 2021
62021
Ordering variables for weighted model integration
V Derkinderen, E Heylen, PZ Dos Martires, S Kolb, L Raedt
Conference on Uncertainty in Artificial Intelligence, 879-888, 2020
52020
Democratizing constraint satisfaction problems through machine learning
M Kumar, S Kolb, C Gautrais, L De Raedt
Proceedings of the AAAI Conference on Artificial Intelligence 35 (18), 16057 …, 2021
42021
Zuidberg Dos Martires, P.; and De Raedt, L. 2019. How to exploit structure while solving weighted model integration problems
S Kolb
Proceedings of the 33rd Conference on Uncertainty in Artificial Intelligence …, 0
4
The system can't perform the operation now. Try again later.
Articles 1–20