( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Incremental Maximum Satisfiability.

, , и . SAT, том 236 из LIPIcs, стр. 14:1-14:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)

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.

Matti Niskanen

Andreas

Andreas Eickelkamp

Der Nutzwertjournalismus. Uni Leipzig, (2009)

Andreas Nilsson

BSCCO superconductors processed by the glass ceramic route: critical aspects of process, crystallization and incorporation of oxygen, composition dependence on phase formation. TU Dresden, (2009)

Andreas Schwenk

Die Formbestimmung des § 313 BGB a. F. (§ 311 b Abs. 1 BGB n. F.) bei Verträgen über Grundstücke in der Rechtsprechung des Reichsgerichts. Uni Kiel, (2009)
 

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

Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving., , , , и . IJCAI, стр. 1905-1911. ijcai.org, (2018)Synthesizing Argumentation Frameworks from Examples., , и . J. Artif. Intell. Res., (2019)Strong Refinements for Hard Problems in Argumentation Dynamics., и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 841-848. IOS Press, (2020)µ-toksia: An Efficient Abstract Argumentation Reasoner., и . KR, стр. 800-804. (2020)Computing MUS-Based Inconsistency Measures., , и . JELIA, том 14281 из Lecture Notes in Computer Science, стр. 745-755. Springer, (2023)Learning big logical rules by joining small rules., , , , и . CoRR, (2024)Computational Approaches to Dynamics and Uncertainty in Abstract Argumentation.. University of Helsinki, Finland, (2020)base-search.net (ftunivhelsihelda:oai:helda.helsinki.fi:10138/319458).Learning MDL Logic Programs from Noisy Data., , , и . AAAI, стр. 10553-10561. AAAI Press, (2024)Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach., и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 849-856. IOS Press, (2020)Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving., , , , и . Artif. Intell., (2022)