معرفی
Tomáš Peitl is a University Assistant at the Vienna University of Technology's Institute of Logic and Computation. His research focuses on quantified Boolean formulas (QBF), proof complexity, SAT solving, and dependency schemes. He teaches courses on Algorithms and Data Structures, Algorithmics, and Structural Decompositions.
Dr. Peitl has developed specialized tools including the QBF solver Qute which implements dependency learning and reflexive resolution-path dependency schemes. His current research examines decision heuristics in QCDCL and hardness characterizations of QBF resolution systems.
Recent publications explore symmetry breaking techniques in quantified graph search, QCDCL decision strategies, and the generation of hard SAT instances. He maintains collaborations through conferences like SAT and IJCAI, and contributes to theoretical foundations of automated reasoning.
Tomáš Peitl در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- TTomas PeitlVienna University of Technology · پژوهشگر
- FFriedrich SlivovskyUniversity of Liverpool · پژوهشگر
Friedrich SlivovskyVienna University of Technology · پژوهشگر- UUwe EglyVienna University of Technology · دانشیار
- LLeroy Nicholas ChewVienna University of Technology · پژوهشگر
- BBonet Carbonell, M. LuisaPolytechnic University of Catalonia · پژوهشگر