( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model-Based Diagnosis with Multiple Observations.

, , , и . IJCAI, стр. 1108-1115. ijcai.org, (2019)

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.

António Marques

António Maretzek

António Silva

António Almeida

António Medeiros

 

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

Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem., и . Fundam. Informaticae, 102 (3-4): 363-389 (2010)A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem, и . CoRR, (2008)Core-Guided MaxSAT with Soft Cardinality Constraints., , и . CP, том 8656 из Lecture Notes in Computer Science, стр. 564-573. Springer, (2014)On Tackling the Limits of Resolution in SAT Solving., , и . SAT, том 10491 из Lecture Notes in Computer Science, стр. 164-183. Springer, (2017)Horn Maximum Satisfiability: Reductions, Algorithms and Applications., , и . EPIA, том 10423 из Lecture Notes in Computer Science, стр. 681-694. Springer, (2017)Model-Based Diagnosis with Multiple Observations., , , и . IJCAI, стр. 1108-1115. ijcai.org, (2019)Constrained space-time zero-forcing pre-equalizer for the downlink channel of UMTS-TDD., , и . PIMRC, стр. 1122-1126. IEEE, (2002)Model-Guided Approaches for MaxSAT Solving., , и . ICTAI, стр. 931-938. IEEE Computer Society, (2013)TestSelector: Automatic Test Suite Selection for Student Projects., , , и . RV, том 13498 из Lecture Notes in Computer Science, стр. 283-292. Springer, (2022)MSCG: Robust Core-Guided MaxSAT Solving., , и . J. Satisf. Boolean Model. Comput., 9 (1): 129-134 (2014)