Tobias Philipp
10 SlideShares
Tags
verification sat logic pseudo-boolean human reasoning it security parallel complexity spark answer set programming
See more

Presentations

(9)
See all

Formale Verifikation von Answer Set Programming

5 years ago • 49 Views

Formal Verification with Ada/SPARK

5 years ago • 100 Views

Anwendungen der Logik in der IT-Sicherheit

5 years ago • 117 Views

Checking Unsatisfiability Proofs in Parallel

5 years ago • 28 Views

The Complexity of Contextual Abduction in Human Reasoning Tasks

5 years ago • 39 Views

PBLib - A Library for Encoding Pseudo-Boolean Constraints into CNF

5 years ago • 106 Views

A Verified Decision Procedure for Pseudo-Boolean Formulas

5 years ago • 32 Views

Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing

5 years ago • 44 Views

An Expressive Model for Instance Decomposition Based Parallel SAT Solvers

5 years ago • 47 Views

Documents

(1)

Fuzzing and Verifying RAT Refutations with Deletion Information

5 years ago • 176 Views
Tags
verification sat logic pseudo-boolean human reasoning it security parallel complexity spark answer set programming
See more