Tobias Philipp

Available identifiers

zbMath Open philipp.tobiasMaRDI QIDQ2835887

List of research outcomes

Publication	Date of Publication	Type
Inconsistency proofs for ASP: the ASP-DRUPE format	2020-05-04	Paper
Towards a Semantics of Unsatisfiability Proofs with Inprocessing	2019-01-10	Paper
Clause simplifications in search-space decomposition-based SAT solvers	2018-08-29	Paper
An expressive model for instance decomposition based parallel SAT solvers	2017-02-27	Paper
DRAT proofs for XOR reasoning	2016-11-30	Paper
PBLib -- a library for encoding pseudo-Boolean constraints into CNF	2015-11-20	Paper
Soundness of inprocessing in clause sharing SAT solvers	2013-08-05	Paper

Research outcomes over time

This page was built for person: Tobias Philipp