( en | de | ru )

 

Disambiguation of "Lonsing, Florian"

Author of the publication

copydeleteadd this publication to your clipboard
Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination.

, , , , and . LPAR, volume 9450 of Lecture Notes in Computer Science, page 418-433. Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Marco Lonsing

Florian Klasovsky

Syntheseparameter-Reaktivitätsbeziehungen für neue Palladiumoxidkatalysatoren in feinchemischen Hydrierungen. TU Darmstadt, (2009)

Florian Franz

Realzeittest von Fahrzeugsoftware-Komponenten. TU München, (2009)

Florian Beißner

Funktionelle Bildgebung des vegetativen Nervensystems: neue Ansätze zur fMRT-Messung des menschlichen Hirnstamms. Uni Frankfurt Main, (2010)

Florian Exl

Einflussfaktoren auf die Bewertung der Hydrophobieeigenschaften von Isolierwerkstoffen. TU München, (2010)
 

Other publications of authors with the same name

Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection., , , , , , , , and . CoRR, (2021)Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers., and . MEMICS, volume 251 of Electronic Notes in Theoretical Computer Science, page 83-95. Elsevier, (2008)QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties., and . SAT, volume 11628 of Lecture Notes in Computer Science, page 203-210. Springer, (2019)QBFRelay, QRATPre+, and DepQBF: Incremental Preprocessing Meets Search-Based QBF Solving.. J. Satisf. Boolean Model. Comput., 11 (1): 211-220 (2019)G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators., , , , , , , , , and 2 other author(s). DAC, page 1-6. IEEE, (2023)A-QED Verification of Hardware Accelerators., , , , , , , , , and 3 other author(s). DAC, page 1-6. IEEE, (2020)Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper., , , , , , , , and . ICCAD, page 1-8. ACM, (2019)Integrating Dependency Schemes in Search-Based QBF Solvers., and . SAT, volume 6175 of Lecture Notes in Computer Science, page 158-171. Springer, (2010)A Compact Representation for Syntactic Dependencies in QBFs., and . SAT, volume 5584 of Lecture Notes in Computer Science, page 398-411. Springer, (2009)Lightweight Online Learning for Sets of Related Problems in Automated Reasoning., , , , , and . FMCAD, page 1-11. IEEE, (2023)