PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Pulina, Luca"

Author of the publication

copydeleteadd this publication to your clipboard
Report of the Third QBF Solvers Evaluation.

, , and . JSAT, 2 (1-4): 145-164 (2006)

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.

Luca Remke University of Stuttgart

Luca Di Grazia University of Stuttgart

Philipp Luca Reiser University of Stuttgart

Dr. Simone Luca Portalupi University of Stuttgart

Gian-Luca Iglesias Lopez University of Stuttgart

 

Other publications of authors with the same name

Engineering Approaches and Methods to Verify Software in Autonomous Systems., , , , , , and . IAS, volume 302 of Advances in Intelligent Systems and Computing, page 1683-1700. Springer, (2014)Report of the Third QBF Solvers Evaluation., , and . JSAT, 2 (1-4): 145-164 (2006)Efficient DTPP solving with a reduction-based approach., and . Intelligenza Artificiale, 8 (1): 101-111 (2014)The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)., and . Artif. Intell., (2019)The Multi-engine ASP Solver ME-ASP: Progress Report., , and . CoRR, (2014)A Multi-Engine Approach to Answer Set Programming., , and . CoRR, (2013)ARKIVO: an Ontology for Describing Archival Resources., , and . CILC, volume 2214 of CEUR Workshop Proceedings, page 112-116. CEUR-WS.org, (2018)Understanding Critical Factors in Appearance-Based Gender Categorization., , , and . ECCV Workshops (2), volume 7584 of Lecture Notes in Computer Science, page 280-289. Springer, (2012)An Ontology-Based Archive for Historical Research., , , and . Description Logics, volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)An Empirical Perspective on Ten Years of QBF Solving., , , , and . RCRA@AI*IA, volume 1451 of CEUR Workshop Proceedings, page 62-75. CEUR-WS.org, (2015)