pith. sign in

Florian Lonsing

Identifiers

  • name variant Florian Lonsing 0.60 · backfill

Papers (14)

  1. QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties cs.LO · 2019 · author #1
  2. Expansion-Based QBF Solving Without Recursion cs.LO · 2018 · author #5
  3. QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property cs.LO · 2018 · author #1
  4. DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL cs.LO · 2017 · author #1
  5. Evaluating QBF Solvers: Quantifier Alternations Matter cs.LO · 2017 · author #1
  6. Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications cs.LO · 2016 · author #5
  7. Q-Resolution with Generalized Axioms cs.LO · 2016 · author #1
  8. HordeQBF: A Modular and Massively Parallel QBF Solver cs.LO · 2016 · author #2
  9. The QBF Gallery: Behind the Scenes cs.LO · 2015 · author #1
  10. Automated Benchmarking of Incremental SAT and QBF Solvers cs.LO · 2015 · author #2
  11. Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API cs.LO · 2015 · author #1
  12. SAT-Based Methods for Circuit Synthesis cs.LO · 2014 · author #5
  13. Conformant Planning as a Case Study of Incremental QBF Solving cs.LO · 2014 · author #3
  14. Incremental QBF Solving cs.LO · 2014 · author #1

Mentions

  • 1508.01045 #1 · backfill · confidence 0.70 Florian Lonsing
  • 1506.08563 #2 · backfill · confidence 0.70 Florian Lonsing
  • 1502.02484 #1 · backfill · confidence 0.70 Florian Lonsing
  • 1408.2333 #5 · backfill · confidence 0.70 Florian Lonsing
  • 1405.7253 #3 · backfill · confidence 0.70 Florian Lonsing
  • 1402.2410 #1 · backfill · confidence 0.70 Florian Lonsing

Frequent Coauthors