3 search results - page 1 / 1 » Integrating Dependency Schemes in Search-Based QBF Solvers |
SAT
2010
Springer
13 years 8 months ago
2010
Springer
JSAT
2010
12 years 11 months ago
2010
We present DepQBF 0.1, a new search-based solver for quantified boolean formulae (QBF). It integrates compact dependency graphs to overcome the restrictions imposed by linear quan...
PROCEDIA
2010
13 years 3 months ago
2010
We present an adaptive multilevel generalized SQP method to solve PDAE-constrained optimization problems. It explicitly allows the use of independent integration schemes such that...