Samuel Kolb
9 papers · 2018–2021 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π Interdisciplinary Bridge π Renaissance Researcher (5) πΊοΈ Taxonomy Completionist (23) π§ Keyword Pioneer
π
Conference Polyglot
(3)
π
Cross-Pollinator
(15)
π
Keyword Champion
(3)
π
Conference Pioneer
Conferences
IJCAI (4)
AAAI (3)
UAI (2)
Top co-authors
Keywords
probabilistic inference
(6)
weighted model integration
(6)
bayesian inference
(3)
constraint learning
(3)
weighted model counting
(2)
smt solving
(2)
constraint satisfaction
(2)
continuous variable
(2)
machine learning
(1)
probabilistic reasoning
(1)
symbolic dynamic programming
(1)
graphical model
(1)
symbolic computation
(1)
smt solver
(1)
convex polytope
(1)
constraint satisfaction problem
(1)
algebraic decision diagram
(1)
positive negative example
(1)
linear arithmetic
(1)
logical constraint
(1)
Papers
Democratizing Constraint Satisfaction Problems through Machine Learning
AAAI 2021
Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey
IJCAI 2021
Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation
AAAI 2020
Learning Weighted Model Integration Distributions
AAAI 2020
Ordering Variables for Weighted Model Integration
UAI 2020
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration
IJCAI 2019
How to Exploit Structure while Solving Weighted Model Integration Problems
UAI 2019
Learning SMT(LRA) Constraints using SMT Solvers
IJCAI 2018
Efficient Symbolic Integration for Probabilistic Inference
IJCAI 2018