1930 search results - page 6 / 386 » Learning to Solve QBF |
SEAL
2010
Springer
14 years 9 months ago
2010
Springer
111
click to vote
ICML
2000
IEEE
16 years 15 days ago
2000
IEEE
As opposed to traditional supervised learning, multiple-instance learning concerns the problem of classifying a bag of instances, given bags that are labeled by a teacher as being...
110
click to vote
ECAI
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. Learning in the context of constraint solving is a technique by which previously unknown constraints are uncovered during search and used to speed up subsequent search. R...
DAC
2010
ACM
15 years 3 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
ECTEL
2007
Springer
15 years 5 months ago
2007
Springer