( en | de | ru )

 

Disambiguation of "Truszczynski, Mirek"

Author of the publication

copydeleteadd this publication to your clipboard
A Generator of Hard 2QBF Formulas and ASP Programs.

, , and . KR, page 52-56. AAAI Press, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mirek Göbel

Holger Mirek

Mirek Schelp

Mirek Nemec

Mirek Jurzak

 

Other publications of authors with the same name

A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection., , and . LPNMR, volume 13416 of Lecture Notes in Computer Science, page 415-428. Springer, (2022)Learning Importance of Preferences., and . GCAI, volume 41 of EPiC Series in Computing, page 81-94. EasyChair, (2016)Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes., and . GCAI, volume 41 of EPiC Series in Computing, page 314-328. EasyChair, (2016)Solving Problems in the Polynomial Hierarchy with ASP(Q)., , , and . LPNMR, volume 13416 of Lecture Notes in Computer Science, page 373-386. Springer, (2022)Strong Equivalence of Nonmonotonic Theories -- an Algebraic Approach.. AI&M, (2006)A Generator of Hard 2QBF Formulas and ASP Programs., , and . KR, page 52-56. AAAI Press, (2018)