BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Florian Lonsing
SearchCollections
Map detail
Florian Lonsing10 visible / 10 total nodes / 9 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipFlorian LonsingAFlorian LonsingResearcherIncremental QBF SolvingWIncremental QBF Solvingpreprint / 2014Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver APIWIncrementally Computing...preprint / 2015The QBF Gallery: Behind the ScenesWThe QBF Gallery: Behind...preprint / 2016Q-Resolution with Generalized AxiomsWQ-Resolution with Gener...preprint / 2016Scaling Up Hardware Accelerator Verification using A-QED with Functional DecompositionWScaling Up Hardware Acc...preprint / 2021Automated Benchmarking of Incremental SAT and QBF SolversWAutomated Benchmarking ...preprint / 2015HordeQBF: A Modular and Massively Parallel QBF SolverWHordeQBF: A Modular and...preprint / 2016Conformant Planning as a Case Study of Incremental QBF SolvingWConformant Planning as ...preprint / 2016Satisfiability-Based Methods for Reactive Synthesis from Safety SpecificationsWSatisfiability-Based Me...preprint / 2016
Person9 links

Florian Lonsing

Researcher

PaperIncremental QBF SolvingAuthorship / preprint / 2014PaperIncrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver APIAuthorship / preprint / 2015PaperThe QBF Gallery: Behind the ScenesAuthorship / preprint / 2016PaperQ-Resolution with Generalized AxiomsAuthorship / preprint / 2016PaperScaling Up Hardware Accelerator Verification using A-QED with Functional DecompositionAuthorship / preprint / 2021PaperAutomated Benchmarking of Incremental SAT and QBF SolversAuthorship / preprint / 2015PaperHordeQBF: A Modular and Massively Parallel QBF SolverAuthorship / preprint / 2016PaperConformant Planning as a Case Study of Incremental QBF SolvingAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)