| 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 | 52 | 2018 |
| Learning constraints in spreadsheets and tabular data S Kolb, S Paramonov, T Guns, L De Raedt Machine Learning 106, 1441-1468, 2017 | 52 | 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 | 33 | 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 | 19 | 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 | 19 | 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 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 | 14 | 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 |
| Learning linear programs from data EA Schede, S Kolb, S Teso 2019 IEEE 31st International Conference on Tools with Artificial …, 2019 | 14 | 2019 |
| 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 |
| 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 | 13 | 2017 |
| 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 | 10 | 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 | 7 | 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 | 5 | 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 | |
