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 | 58 | 2018 |
Learning constraints in spreadsheets and tabular data S Kolb, S Paramonov, T Guns, L De Raedt Machine Learning 106, 1441-1468, 2017 | 53 | 2017 |
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 | 35 | 2018 |
Learning constraints and optimization criteria S Kolb Proceedings of the First Workshop on Declarative Learning Based Programming …, 2016 | 23 | 2016 |
Learning MAX-SAT from contextual examples for combinatorial optimisation M Kumar, S Kolb, S Teso, L De Raedt Artificial Intelligence 314, 103794, 2023 | 20 | 2023 |
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 | 20 | 2020 |
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 | 16 | 2019 |
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 | 15 | 2022 |
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 | 14 | 2020 |
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 | 14 | 2017 |
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 | 13 | 2018 |
Predictive spreadsheet autocompletion with constraints S Kolb, S Teso, A Dries, L De Raedt Machine Learning 109, 307-325, 2020 | 12 | 2020 |
Hybrid probabilistic inference with logical and algebraic constraints: a survey P Morettin, P Zuidberg Dos Martires, S Kolb, A Passerini IJCAI, 4533-4542, 2021 | 11 | 2021 |
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 | 8 | 2022 |
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 | 7 | 2020 |
Learning mixed-integer linear programs from contextual examples M Kumar, S Kolb, L De Raedt, S Teso arXiv preprint arXiv:2107.07136, 2021 | 6 | 2021 |
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 | 5 | 2020 |
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 | 4 | 2021 |
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 | |