( en | de | ru )

 

Disambiguation of "Morgado, António"

Author of the publication

copydeleteadd this publication to your clipboard
Model-Based Diagnosis with Multiple Observations.

, , , and . IJCAI, page 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. You can also use the button next to the name to display some publications already assigned to the person.

António Marques

António Maretzek

António Silva

António Medeiros

António Almeida

 

Other publications of authors with the same name

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