( en | de | ru )

 

Disambiguierung von "Manquinho, Vasco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
AlloyMax: bringing maximum satisfaction to relational specifications.

, , , , , , und . ESEC/SIGSOFT FSE, Seite 155-167. ACM, (2021)

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.

Vasco Souza

Vasco Reuss

Cristian Vasco

Sergio Sezino Douets Vasconcelos

Ana Cátia Proença Vasconcelos

 

Weitere Publikationen von Autoren mit dem selben Namen

DeepData: Machine learning in the marine ecosystems., , , , und . Expert Syst. Appl., (2022)InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments., , und . CoRR, (2022)DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability., , und . CoRR, (2015)Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization., , und . RECOMB-CG, Volume 5817 von Lecture Notes in Computer Science, Seite 138-149. Springer, (2009)Counting Models in Integer Domains., , , und . SAT, Volume 4121 von Lecture Notes in Computer Science, Seite 410-423. Springer, (2006)On the Quest for an Acyclic Graph., , und . RCRA@AI*IA, Volume 2011 von CEUR Workshop Proceedings, Seite 33-44. CEUR-WS.org, (2017)Improving Search Space Splitting for Parallel SAT Solving., , und . ICTAI (1), Seite 336-343. IEEE Computer Society, (2010)Concurrency Debugging with MaxSMT., , , und . AAAI, Seite 1608-1616. AAAI Press, (2019)MultIPAs: applying program transformations to introductory programming assignments for data augmentation., , und . ESEC/SIGSOFT FSE, Seite 1657-1661. ACM, (2022)Immediate Neighbours of Monotone Boolean Functions., , , , und . CoRR, (2024)