( en | de | ru )

 

Disambiguierung von "Marques-Silva, João"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Algorithms for Solving Boolean Satisfiability in Combinational Circuits.

, , und . DATE, Seite 526-530. IEEE Computer Society / ACM, (1999)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

João Silva Ferraz

Gil dos Santos Guerreiro João

João Afonso Silva Palla Carreiro

João Barros

João Fonseca

 

Weitere Publikationen von Autoren mit dem selben Namen

Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem., und . Fundam. Informaticae, 102 (3-4): 363-389 (2010)The Inadequacy of Shapley Values for Explainability., und . CoRR, (2023)QBF-Based Boolean Function Bi-Decomposition, , und . CoRR, (2011)Auditing static machine learning anti-Malware tools against metamorphic attacks., , , und . Comput. Secur., (2021)Computing Minimal Sets on Propositional Formulae I: Problems & Reductions., und . CoRR, (2014)SMT-Based Bounded Model Checking for Embedded ANSI-C Software., , und . IEEE Trans. Software Eng., 38 (4): 957-974 (2012)New & improved models for SAT-based bi-decomposition., und . ACM Great Lakes Symposium on VLSI, Seite 141-146. ACM, (2012)cmMUS: A Tool for Circumscription-Based MUS Membership Testing., und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 266-271. Springer, (2011)Assessing Heuristic Machine Learning Explanations with Model Counting., , , , und . SAT, Volume 11628 von Lecture Notes in Computer Science, Seite 267-278. Springer, (2019)Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription., , und . JELIA, Volume 6341 von Lecture Notes in Computer Science, Seite 195-207. Springer, (2010)