Concepedia

Florian Lonsing

FL

12

Publications

395

Citations

11

H-Index

2008

Active since

Affiliations

Johannes Kepler University of Linz(Current)

University of California, Santa Cruz

Florian Lonsing is an author at Johannes Kepler University of Linz specializing in formal methods, formal verification, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningSatisfiabilityComputer EngineeringProgram AnalysisSoftware AnalysisKnowledge Compilation

Publications per year

2008–2020

12

Publications

12

DepQBF: A Dependency-Aware QBF Solver

Florian Lonsing, Armin Biere · Journal on Satisfiability Boolean Modeling and Computation · 2010 · 133 citations · Full text

Engineering, Boolean Function, Compact Dependency Graphs +16

Clause Elimination for SAT and QSAT

Marijn J. H. Heule, Matti Järvisalo, Florian Lonsing et al. · Journal of Artificial Intelligence Research · 2015 · 68 citations · Full text

Constraint Solving, Engineering, Automated Reasoning +12

BTOR

Robert Brummayer, Armin Biere, Florian Lonsing · 2008 · 32 citations

Programming Language Theory, Engineering, Automated Reasoning +14

Conformant planning as a case study of incremental QBF solving

Uwe Egly, Martin Kronegger, Florian Lonsing et al. · Annals of Mathematics and Artificial Intelligence · 2016 · 26 citations · Full text

Mathematical Programming, Artificial Intelligence, Engineering +20

A.: Resolution-based certificate extraction for QBF (tool presentation

Aina Niemetz, Mathias Preiner, Florian Lonsing et al. · 2012 · 24 citations

Rows per page

1–5 of 12