1930 search results - page 6 / 386 » Learning to Solve QBF |
62
Voted
SEAL
2010
Springer
14 years 7 months ago
2010
Springer
ICML
2000
IEEE
15 years 10 months 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...
ECAI
2010
Springer
14 years 10 months 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 1 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...
46
Voted
ECTEL
2007
Springer
15 years 3 months ago
2007
Springer