Leonard Kleinhans

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 3

Top Topics

Knowledge Compilation

Declarative Language

Quadratic Program

Convex Constraints

Top Venues

AAAI Workshop: Declarative Learning Based Programming

Publications

Martin Mladenov, Leonard Kleinhans, Kristian Kersting
Lifted Inference for Convex Quadratic Programs. AAAI (2017)
Martin Mladenov, Leonard Kleinhans, Kristian Kersting
Lifted Convex Quadratic Programming. CoRR (2016)
Martin Mladenov, Danny Heinrich, Leonard Kleinhans, Felix Gonsior, Kristian Kersting
RELOOP: A Python-Embedded Declarative Language for Relational Optimization. AAAI Workshop: Declarative Learning Based Programming (2016)