Login / Signup
Paul Boes
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 4
Top Topics
Random Sat Instances
Boolean Satisfiability
Davis Putnam
Vehicle Speed
Top Venues
CoRR
Quantum
</>
Publications
</>
Hichem Dhouib
,
Alissa Wilms
,
Paul Boes
Distribution and volume based scoring for Isolation Forests.
CoRR
(2023)
Maximilian Kramer
,
Paul Boes
Using deep learning to construct stochastic local search SAT solvers with performance bounds.
CoRR
(2023)
Lucas Liebe
,
Franz Sauerwald
,
Sylwester Sawicki
,
Matthias Schneider
,
Leo Schuhmann
,
Tolga Buz
,
Paul Boes
,
Ahmad Ahmadov
,
Gerard de Melo
FARSEC: A Reproducible Framework for Automatic Real-Time Vehicle Speed Estimation Using Traffic Cameras.
CoRR
(2023)
Paul Boes
,
Rodrigo Gallego
,
Nelly Huei Ying Ng
,
Jens Eisert
,
Henrik Wilming
By-passing fluctuation theorems.
Quantum
4 (2020)