1930 search results - page 6 / 386 » Learning to Solve QBF |
SEAL
2010
Springer
13 years 5 months ago
2010
Springer
ICML
2000
IEEE
14 years 8 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
13 years 8 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
13 years 11 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
14 years 1 months ago
2007
Springer