( en | de | ru )

 

Disambiguierung von "Marques-Silva, João"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On QBF Proofs and Preprocessing.

, , und . LPAR, Volume 8312 von Lecture Notes in Computer Science, Seite 473-489. Springer, (2013)

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

Auditing static machine learning anti-Malware tools against metamorphic attacks., , , und . Comput. Secur., (2021)Boolean Lexicographic Optimization., , , und . RCRA@CPAIOR, Volume 616 von CEUR Workshop Proceedings, CEUR-WS.org, (2010)Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem., und . Fundam. Informaticae, 102 (3-4): 363-389 (2010)QBF-Based Boolean Function Bi-Decomposition, , und . CoRR, (2011)The Inadequacy of Shapley Values for Explainability., und . CoRR, (2023)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)Quantified Maximum Satisfiability: - A Core-Guided Approach., , und . SAT, Volume 7962 von Lecture Notes in Computer Science, Seite 250-266. Springer, (2013)SAT in Bioinformatics: Making the Case with Haplotype Inference., und . SAT, Volume 4121 von Lecture Notes in Computer Science, Seite 136-141. Springer, (2006)