Author of the publication

Uniform Solution Sampling Using a Constraint Solver As an Oracle.

, , and . UAI, page 255-264. AUAI Press, (2012)

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

Tradeoffs in the Complexity of Backdoor Detection., , and . CP, volume 4741 of Lecture Notes in Computer Science, page 256-270. Springer, (2007)Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search., , and . Ann. Math. Artif. Intell., 70 (4): 399-431 (2014)Learning policies for battery usage optimization in electric vehicles., , , and . Mach. Learn., 92 (1): 177-194 (2013)A Bayesian Approach to Tackling Hard Computational Problems, , , , , and . CoRR, (2013)Probabilistic planning with non-linear utility functions and worst-case guarantees., , , and . AAMAS, page 965-972. IFAAMAS, (2012)Learning Policies for Battery Usage Optimization in Electric Vehicles., , , and . ECML/PKDD (2), volume 7524 of Lecture Notes in Computer Science, page 195-210. Springer, (2012)Low-density Parity Constraints for Hashing-Based Discrete Integration., , , and . ICML, volume 32 of JMLR Workshop and Conference Proceedings, page 271-279. JMLR.org, (2014)LP as a Global Search Heuristic Across Different Constrainedness Regions., and . CP, volume 3709 of Lecture Notes in Computer Science, page 853. Springer, (2005)Computing the Density of States of Boolean Formulas., , and . CP, volume 6308 of Lecture Notes in Computer Science, page 38-52. Springer, (2010)The Cardinality Matrix Constraint., and . CP, volume 3258 of Lecture Notes in Computer Science, page 572-587. Springer, (2004)