( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization.

, , , и . CP, том 280 из LIPIcs, стр. 18:1-18:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

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 Järvisalo

Matti Adam

Katharina Matti

Matti Mantere

Matti Matilainen

 

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

Unifying Reasoning and Core-Guided Search for Maximum Satisfiability., и . JELIA, том 11468 из Lecture Notes in Computer Science, стр. 287-303. Springer, (2019)Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability., , и . AISTATS, том 33 из JMLR Workshop and Conference Proceedings, стр. 86-95. JMLR.org, (2014)Synthesizing Argumentation Frameworks from Examples., , и . J. Artif. Intell. Res., (2019)Computing MUS-Based Inconsistency Measures., , и . JELIA, том 14281 из Lecture Notes in Computer Science, стр. 745-755. Springer, (2023)Clause Redundancy and Preprocessing in Maximum Satisfiability., , и . IJCAR, том 13385 из Lecture Notes in Computer Science, стр. 75-94. Springer, (2022)Strong Refinements for Hard Problems in Argumentation Dynamics., и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 841-848. IOS Press, (2020)Oracle-Based Local Search for Pseudo-Boolean Optimization., , и . ECAI, том 372 из Frontiers in Artificial Intelligence and Applications, стр. 1124-1131. IOS Press, (2023)µ-toksia: An Efficient Abstract Argumentation Reasoner., и . KR, стр. 800-804. (2020)Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation., , и . Theory Pract. Log. Program., 21 (6): 717-734 (2021)Preprocessing Argumentation Frameworks via Replacement Patterns., , , , и . JELIA, том 11468 из Lecture Notes in Computer Science, стр. 116-132. Springer, (2019)