Name: Dominik Schreiber
Type: User
Company: Karlsruhe Institute of Technology
Bio: Computer scientist at KIT (Karlsruhe), interested in SAT, Automated Planning and Linux stuff. Hobby musician and sporadic course instructor.
Location: Karlsruhe, Germany
Blog: https://www.dominikschreiber.de
Dominik Schreiber's Projects
3dVis by Carsten Sinz
Aquaplanning QUick Automated Planning.
Downloads a gif from /r/gifs, and displays it in ASCII art in the terminal.
Outputs a simple python plot with the recent battery charge history.
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
CaDiCaL SAT Solver
The DRAT-trim proof checker
Software artifact for our Euro-Par 2022 paper
Immediate Massively Parallel Propositional Proof Checking
Submission of Mallob to International SAT Competition 2022
Ein Info-Dokument für KIT-Informatik-Studenten, die ein Auslandsstudium am ENSIMAG machen (möchten)
Lecture Notes for the lecture "Practical SAT Solving" held at Karlsruhe Institute of Technology (KIT)
A lightweight KRunner plugin (Plasma 5) to retrieve unicode symbols, or any other string, based on a corresponding keyword.
Lifted Logic for Task Networks: SAT-driven Planning for Totally-ordered Hierarchical Task Networks (HTN)
Experimental data collected for Lilotane JAIR paper
Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
Software references and experimental data for SAT'24 submission "ImpCheck"
Infrastructure to run incremental SAT applications with Mallob as a backend
An IPASIR interface to connect applications to Mallob's incremental on-demand SAT solving
Mirror certain files between machines using netcat
Patched and revised PDDL ANTLR v4 grammar
A presenter console with multi-monitor support for PDF files.
Ugly scripts for pretty plots