Seguir
Florian Lonsing
Florian Lonsing
Afiliación desconocida
Dirección de correo verificada de florianlonsing.com - Página principal
Título
Citado por
Citado por
Año
DepQBF: A dependency-aware QBF solver
F Lonsing, A Biere
Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 71-76, 2010
1832010
Blocked clause elimination for QBF
A Biere, F Lonsing, M Seidl
Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011
1532011
Automated testing and debugging of SAT and QBF solvers
R Brummayer, F Lonsing, A Biere
Theory and Applications of Satisfiability Testing–SAT 2010: 13th …, 2010
1142010
Clause elimination for SAT and QSAT
M Heule, M Järvisalo, F Lonsing, M Seidl, A Biere
Journal of Artificial Intelligence Research 53, 127-168, 2015
882015
DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL
F Lonsing, U Egly
International Conference on Automated Deduction (CADE-26) 10395, 371-384, 2017
742017
Resolution-Based Certificate Extraction for QBF: (Tool Presentation)
A Niemetz, M Preiner, F Lonsing, M Seidl, A Biere
International Conference on Theory and Applications of Satisfiability …, 2012
712012
Nenofex: Expanding NNF for QBF solving
F Lonsing, A Biere
International Conference on Theory and Applications of Satisfiability …, 2008
702008
Integrating dependency schemes in search-based QBF solvers
F Lonsing, A Biere
International Conference on Theory and Applications of Satisfiability …, 2010
692010
Long-distance resolution: Proof generation and strategy extraction in search-based QBF solving
U Egly, F Lonsing, M Widl
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
672013
Enhancing search-based QBF solving by dynamic blocked clause elimination
F Lonsing, F Bacchus, A Biere, U Egly, M Seidl
Logic for Programming, Artificial Intelligence, and Reasoning: 20th …, 2015
432015
BTOR: bit-precise modelling of word-level problems for model checking
R Brummayer, A Biere, F Lonsing
Proceedings of the joint workshops of the 6th international workshop on …, 2008
422008
Dependency Schemes and Search-Based QBF Solving: Theory and Practice
F Lonsing
Johannes Kepler University, Linz, Austria, 2012
412012
SAT-based methods for circuit synthesis
R Bloem, U Egly, P Klampfl, R Konighofer, F Lonsing
2014 Formal Methods in Computer-Aided Design (FMCAD), 31-34, 2014
392014
Conformant planning as a case study of incremental QBF solving
U Egly, M Kronegger, F Lonsing, A Pfandler
Annals of Mathematics and Artificial Intelligence 80, 21-45, 2017
372017
qbf2epr: A Tool for Generating EPR Formulas from QBF.
M Seidl, F Lonsing, A Biere
PAAR@ IJCAR 21, 139-148, 2012
372012
Q-Resolution with Generalized Axioms
F Lonsing, U Egly, M Seidl
Theory and Applications of Satisfiability Testing (SAT 2016) 9710, 435--452, 2016
332016
The QBF gallery: Behind the scenes
F Lonsing, M Seidl, A Van Gelder
Artificial Intelligence 237, 92-114, 2016
312016
Quantified boolean formulas
O Beyersdorff, M Janota, F Lonsing, M Seidl
Handbook of Satisfiability, 1177-1221, 2021
302021
Efficient clause learning for quantified Boolean formulas via QBF pseudo unit propagation
F Lonsing, U Egly, A Van Gelder
International Conference on Theory and Applications of Satisfiability …, 2013
302013
Evaluating QBF solvers: Quantifier alternations matter
F Lonsing, U Egly
International Conference on Principles and Practice of Constraint …, 2018
292018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20