The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Tobias Philipp" ( http://dblp.L3S.de/Authors/Tobias_Philipp )

  Author page on DBLP  Author page in RDF  Community of Tobias Philipp in ASPL-2

Publication years (Num. hits)
2011-2017 (18) 2018-2019 (3)
Publication types (Num. hits)
article(3) inproceedings(18)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 22 publication records. Showing 21 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath Inconsistency Proofs for ASP: The ASP-DRUPE Format. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath Inconsistency Proofs for ASP: The ASP - DRUPE Format. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Norbert Manthey, Tobias Philipp Checking Unsatisfiability Proofs in Parallel. Search on Bibsonomy POS@SAT The full citation details ... 2018 DBLP  BibTeX  RDF
1Tobias Philipp, Adrián Rebola-Pardo Towards a Semantics of Unsatisfiability Proofs with Inprocessing. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp The Complexity of Contextual Abduction in Human Reasoning Tasks. Search on Bibsonomy YSIP The full citation details ... 2017 DBLP  BibTeX  RDF
1Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp Contextual Abduction and its Complexity Issues. Search on Bibsonomy DARe@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Walter Forkel, Tobias Philipp, Adrian Rebola-Pardo, Elias Werner Fuzzing and Verifying RAT Refutations with Deletion Information. Search on Bibsonomy FLAIRS Conference The full citation details ... 2017 DBLP  BibTeX  RDF
1Tobias Philipp, Adrian Rebola-Pardo DRAT Proofs for XOR Reasoning. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tobias Philipp Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Tobias Philipp, Anna Tigunova A Verified Decision Procedure for Pseudo-Boolean Formulas. Search on Bibsonomy PlanSIG The full citation details ... 2016 DBLP  BibTeX  RDF
1Tobias Philipp, Peter Steinke PBLib - A Library for Encoding Pseudo-Boolean Constraints into CNF. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tobias Philipp An Expressive Model for Instance Decomposition Based Parallel SAT Solvers. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Norbert Manthey, Tobias Philipp Formula Simplifications as DRAT Derivations. Search on Bibsonomy KI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Norbert Manthey, Tobias Philipp, Peter Steinke A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained. Search on Bibsonomy KI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. Search on Bibsonomy YSIP The full citation details ... 2014 DBLP  BibTeX  RDF
1Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. Search on Bibsonomy POS@SAT The full citation details ... 2014 DBLP  BibTeX  RDF
1Marijn Heule, Norbert Manthey, Tobias Philipp Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers. Search on Bibsonomy POS@SAT The full citation details ... 2014 DBLP  BibTeX  RDF
1Tobias Philipp Clause Simplifications in Search-Space Decomposition-Based Sat Solvers. Search on Bibsonomy STAIRS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Norbert Manthey, Tobias Philipp, Christoph Wernhard Soundness of Inprocessing in Clause Sharing SAT Solvers. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Domenico Martino, Tobias Philipp Plattformen für mobile Geschäftsanwendungen - am Beispiel der Sybase Unwired Platform. Search on Bibsonomy HMD - Praxis Wirtschaftsinform. The full citation details ... 2012 DBLP  BibTeX  RDF
1Steffen Hölldobler, Tobias Philipp, Christoph Wernhard An Abductive Model for Human Reasoning. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2011 DBLP  BibTeX  RDF
Displaying result #1 - #21 of 21 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license