Benjamin Böhm

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Understanding the relative strength of QBF CDCL solvers and QBF resolution	2026-04-15	Paper
Runtime vs. extracted proof size: an exponential gap for CDCL on QBFs Journal of Automated Reasoning	2025-11-26	Paper
QCDCL with cube learning or pure literal elimination -- what is best? Artificial Intelligence	2025-02-12	Paper
QCDCL vs QBF resolution: further insights	2024-11-26	Paper
Should decisions in QCDCL follow prefix order?	2024-07-12	Paper
Should Decisions in QCDCL Follow Prefix Order? Journal of Automated Reasoning	2024-04-29	Paper
Lower bounds for QCDCL via formula gauge Journal of Automated Reasoning	2023-10-24	Paper
Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution Logical Methods in Computer Science	2023-08-26	Paper
Evaluation of the flame propagation within an SI engine using flame imaging and LES Combustion Theory and Modelling	2022-05-03	Paper
Lower bounds for QCDCL via formula gauge	2022-03-22	Paper
Highly-resolved LES and PIV analysis of isothermal turbulent opposed jets for combustion applications Flow, Turbulence and Combustion	2012-01-10	Paper
New perspectives on turbulent combustion: multi-parameter high-speed planar laser diagnostics Flow, Turbulence and Combustion	2011-05-23	Paper
In-nozzle measurements of a turbulent opposed jet using PIV Flow, Turbulence and Combustion	2010-10-06	Paper
Spatial and temporal characteristics of OH in turbulent opposed-jet double flames Flow, Turbulence and Combustion	2009-09-02	Paper

Research outcomes over time

This page was built for person: Benjamin Böhm