Author of the publication

Learning Rate Based Branching Heuristic for SAT Solvers.

, , , and . SAT, volume 9710 of Lecture Notes in Computer Science, page 123-140. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Policy optimization by marginal-map probabilistic inference in generative models., and . AAMAS, page 1611-1612. IFAAMAS/ACM, (2014)Analyzing and Escaping Local Optima in Planning as Inference for Partially Observable Domains., , and . ECML/PKDD (2), volume 6912 of Lecture Notes in Computer Science, page 613-628. Springer, (2011)Optimality and Stability in Non-Convex-Non-Concave Min-Max Optimization., , and . CoRR, (2020)Vector-space Analysis of Belief-state Approximation for POMDPs, and . CoRR, (2013)An Empirical Study of Methods for SPN Learning and Inference., , , , , and . PGM, volume 72 of Proceedings of Machine Learning Research, page 49-60. PMLR, (2018)SPFlow: An Easy and Extensible Library for Deep Probabilistic Learning using Sum-Product Networks., , , , , , , and . CoRR, (2019)Is the sky pure today? AwkChecker: an assistive tool for detecting and correcting collocation errors., , , and . UIST, page 121-130. ACM, (2008)Inverse Reinforcement Learning for Team Sports: Valuing Actions and Players., , and . IJCAI, page 3356-3363. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..Continuous Correlated Beta Processes., , and . IJCAI, page 1269-1274. IJCAI/AAAI, (2011)Point-Based Value Iteration for Constrained POMDPs., , , and . IJCAI, page 1968-1974. IJCAI/AAAI, (2011)