Concepedia

Tomáš Peitl

TP

Statistics

Publications

2

Citations

37

H-Index

2

Active since

2018

Affiliations

TU Wien(Current)

Tomáš Peitl is an author at TU Wien specializing in formal verification, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationData ScienceLocalizationVerificationSatisfiabilityMachine Learning

Publications per year

2018–2019

2

Publications

2

Dependency Learning for QBF

Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider · Journal of Artificial Intelligence Research · 2019 · 26 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +16

Long-Distance Q-Resolution with Dependency Schemes

Tomáš Peitl, Friedrich Slivovsky, Stefan Szeider · Journal of Automated Reasoning · 2018 · 11 citations · Full text

Engineering, Verification, Dependency Schemes +19

1–2 of 2