( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Birth of a WASP: Preliminary Report on a New ASP Solver.

, , , , , и . CILC, том 810 из CEUR Workshop Proceedings, стр. 99-113. CEUR-WS.org, (2011)

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.

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Monika Marcotty

Massimiliano Marcon

 

Другие публикации лиц с тем же именем

The Birth of a WASP: Preliminary Report on a New ASP Solver., , , , , и . CILC, том 810 из CEUR Workshop Proceedings, стр. 99-113. CEUR-WS.org, (2011)Parallel instantiation of ASP programs: techniques and experiments., , и . Theory Pract. Log. Program., 13 (2): 253-278 (2013)Characterization of JWST science performance from commissioning, , , , , , , , , и 601 other автор(ы). (2022)cite arxiv:2207.05632Comment: 60 pages, 30 figures.Advanced Heuristics for Parallel ASP Instantiation., , и . RCRA@AI*IA, том 589 из CEUR Workshop Proceedings, CEUR-WS.org, (2009)The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track., , , , , , , , , и 9 other автор(ы). LPNMR, том 6645 из Lecture Notes in Computer Science, стр. 388-403. Springer, (2011)Parallel Instantiation of ASP Programs: Techniques and Experiments, , и . CoRR, (2011)Towards a Fully-Parallel DLV System., , и . RCRA@CPAIOR, том 616 из CEUR Workshop Proceedings, CEUR-WS.org, (2010)Parallel Instantiation in DLV., , и . CILC, том 598 из CEUR Workshop Proceedings, CEUR-WS.org, (2010)A parallel ASP instantiator based on DLV., , и . DAMP, стр. 73-82. ACM, (2010)