Tomás Peitl
发表
Stefan Szeider,
Tomás Peitl,
Friedrich Slivovsky,
2019,
J. Satisf. Boolean Model. Comput..
Stefan Szeider,
Tomás Peitl,
Friedrich Slivovsky,
2019,
SAT.
Meena Mahajan,
Gaurav Sood,
Tomás Peitl,
2020,
FSTTCS.
Stefan Szeider,
Tomás Peitl,
Friedrich Slivovsky,
2019,
J. Artif. Intell. Res..
Stefan Szeider,
Tomás Peitl,
Friedrich Slivovsky,
2017,
SAT.
Stefan Szeider,
Tomás Peitl,
Friedrich Slivovsky,
2018,
Journal of Automated Reasoning.
Stefan Szeider,
Holger H. Hoos,
Tomás Peitl,
2018,
CP.
Stefan Szeider,
Tomás Peitl,
Friedrich Slivovsky,
2018,
SAT.
Stefan Szeider,
Tomás Peitl,
Friedrich Slivovsky,
2019,
SAT.
Tomás Peitl,
Friedrich Slivovsky,
Joshua Blinkhorn,
2021,
SAT.
Stefan Szeider,
Tomás Peitl,
2021,
IJCAI.