Jörg-Volker Peetz

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 1

Top Topics

Boolean Satisfiability

Clause Learning Sat Solvers

Top Venues

Publications

Anastasia-Maria Leventi-Peetz, Jörg-Volker Peetz, Martina Rohde
ML Supported Predictions for SAT Solvers Performance. CoRR (2021)
Ralf-Michael Vetter, Werner Lennartz, Jörg-Volker Peetz
Modular Workflow Engine for Distributed Services using Lightweight Java Clients CoRR (2009)
Jörg-Volker Peetz, Barbara Steckel, Norman Ettrich
Maths in Flood Protection. ERCIM News 2008 (73) (2008)