Sciweavers

4255 search results - page 76 / 851
» On Learning Boolean Functions
Sort
View
ICML
2008
IEEE
16 years 2 months ago
An analysis of reinforcement learning with function approximation
Francisco S. Melo, Sean P. Meyn, M. Isabel Ribeiro
ICML
1997
IEEE
16 years 2 months ago
Machine Learning by Function Decomposition
Blaz Zupan, Marko Bohanec, Ivan Bratko, Janez Dems...
122
Voted
SAT
2010
Springer
136views Hardware» more  SAT 2010»
15 years 5 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....