Travelled to:1 × Finland
1 × USA
Collaborated with:P.Steinke N.Manthey C.Wernhard
Talks about:constraint (1) inprocess (1) librari (1) boolean (1) solver (1) pseudo (1) sound (1) share (1) encod (1) claus (1)
Person: Tobias Philipp
DBLP: Philipp:Tobias
Contributed to:
20152013Wrote 2 papers:
- SAT-2015-PhilippS #constraints #encoding #library #named #pseudo
- PBLib — A Library for Encoding Pseudo-Boolean Constraints into CNF (TP, PS), pp. 9–16.
- SAT-2013-MantheyPW #satisfiability
- Soundness of Inprocessing in Clause Sharing SAT Solvers (NM, TP, CW), pp. 22–39.