Mirek Truszczynski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2006–2022
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | LPNMR | Solving Problems in the Polynomial Hierarchy with ASP(Q). | Giovanni Amendola, Bernardo Cuteri, Francesco Ricca, Mirek Truszczynski |
| 2022 | LPNMR | A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection. | Liu Liu, Mirek Truszczynski, Yuliya Lierler |
| 2018 | KR | A Generator of Hard 2QBF Formulas and ASP Programs. | Giovanni Amendola, Francesco Ricca, Mirek Truszczynski |
| 2006 | ISAIM | Strong Equivalence of Nonmonotonic Theories -- an Algebraic Approach. | Mirek Truszczynski |