Tomáš Peitl

5 papers · 2021–2026 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

+1 more ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Gold 🏆 Keyword Champion (3) ❓ The Questioner

📈 Trend Setter

Venues

IJCAI (3) AAAI (2)

Top co-authors

Stefan Szeider (4) Markus Kirchweger (3) Olaf Beyersdorff (1) Benjamin Böhm (1) Mikoláš Janota (1) David Seka (1)

Research topics

Computer Science (4) Foundations (4) Mathematics & Optimization (3) Optimization (3) Knowledge & Reasoning (2) Machine Learning (2) Optimization & Theory (2) Reasoning (2) Artificial Intelligence (1) Core AI (1) Mathematics (1)

Keywords

sat solver (3) symmetry breaking (3) sat solving (2) quantified boolean formula (2) proof complexity (2) conflict-driven clause learning (1) sat encoding (1) resolution proof (1) cnf formula (1) hardness number (1) planar graph (1) cube learning (1) co-np property (1) shortest proof (1) pure literal elimination (1) graph enumeration (1) sat modulo symmetries (1) combinatorial optimization (1) list coloring (1) satisfiability solving (1)

Papers

Graph Choosability via SAT: Beyond the Nullstellensatz AAAI 2026 Breaking Symmetries in Quantified Graph Search: A Comparative Study AAAI 2025 Co-Certificate Learning with SAT Modulo Symmetries IJCAI 2023 QCDCL with Cube Learning or Pure Literal Elimination - What is Best? IJCAI 2022 Finding the Hardest Formulas for Resolution (Extended Abstract) IJCAI 2021