1930 search results - page 6 / 386 » Learning to Solve QBF |
101
Voted
SEAL
2010
Springer
15 years 1 months ago
2010
Springer
146
Voted
ICML
2000
IEEE
16 years 4 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...
146
click to vote
ECAI
2010
Springer
15 years 4 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...
107
Voted
DAC
2010
ACM
15 years 7 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...
94
Voted
ECTEL
2007
Springer
15 years 9 months ago
2007
Springer