1930 search results - page 129 / 386 » Learning to Solve QBF |
112
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
This paper proposes the incremental Bayesian optimization algorithm (iBOA), which modifies standard BOA by removing the population of solutions and using incremental updates of t...
166
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Gaussian graphical models are of great interest in statistical learning. Because the conditional independencies between different nodes correspond to zero entries in the inverse c...
122
click to vote
ICMLA
2010
15 years 1 months ago
2010
Abstract--Support vector machines (SVMs) were initially proposed to solve problems with two classes. Despite the myriad of schemes for multiclassification with SVMs proposed since ...
115
Voted
ICTAI
2007
IEEE
15 years 10 months ago
2007
IEEE
Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that portfolios of backtracking algorith...
124
click to vote
ACMSE
2006
ACM
15 years 9 months ago
2006
ACM
Although the satisfiability problem (SAT) is NP-complete, state-of-the-art solvers for SAT can solve instances that are considered to be very hard. Emerging applications demand t...