Oliver Keszocze

Available identifiers

zbMath Open keszocze.oliverWikidataQ71006197 ScholiaQ71006197MaRDI QIDQ1799555

List of research outcomes

Publication	Date of Publication	Type
Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning	2024-01-23	Paper
The complexity of error metrics	2018-10-19	Paper
Initial ideas for automatic design and verification of control logic in reversible HDLs (work in progress report)	2016-08-10	Paper
Translating between the roots of the identity in quantum computers	2015-03-30	Paper

Research outcomes over time

This page was built for person: Oliver Keszocze