Sciweavers

4255 search results - page 76 / 851
» On Learning Boolean Functions
Sort
View
ICML
2008
IEEE
15 years 10 months ago
An analysis of reinforcement learning with function approximation
Francisco S. Melo, Sean P. Meyn, M. Isabel Ribeiro
ICML
1997
IEEE
15 years 10 months ago
Machine Learning by Function Decomposition
Blaz Zupan, Marko Bohanec, Ivan Bratko, Janez Dems...
SAT
2010
Springer
136views Hardware» more  SAT 2010»
15 years 1 months ago
A Non-prenex, Non-clausal QBF Solver with Game-State Learning
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...
William Klieber, Samir Sapra, Sicun Gao, Edmund M....