Samuel Kolb is an author at KU Leuven specializing in mathematical programming, engineering, and computer science.
Top concepts
EngineeringData ScienceComputer ScienceMathematical ProgrammingMachine LearningAutomated ReasoningArtificial IntelligenceFormal MethodsFormal VerificationData Mining
Publications per year
2016–2018
4
4
Learning SMT(LRA) Constraints using SMT Solvers
Samuel Kolb, Stefano Teso, Andrea Passerini et al. · 2018 · 35 citations · Full text
Mathematical Programming, Artificial Intelligence, Engineering +17
Learning constraints in spreadsheets and tabular data
Samuel Kolb, Sergey Paramonov, Tias Guns et al. · Machine Learning · 2017 · 30 citations · Full text
Artificial Intelligence, Mathematical Programming, Tabular Data +10
Efficient Symbolic Integration for Probabilistic Inference
Samuel Kolb, Martin Mladenov, Scott Sanner et al. · 2018 · 16 citations · Full text
Mathematical Programming, Engineering, Probabilistic Computation +20
Rows per page
1–4 of 4