( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Concurrency Debugging with MaxSMT.

, , , и . AAAI, стр. 1608-1616. AAAI Press, (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.

Vasco Souza

Vasco Reuss

Sergio Sezino Douets Vasconcelos

Cristian Vasco

Ana Cátia Proença Vasconcelos

 

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

On When and How to use SAT to Mine Frequent Itemsets, , и . CoRR, (2012)Deterministic Parallel MaxSAT Solving., , и . Int. J. Artif. Intell. Tools, 24 (3): 1550005:1-1550005:25 (2015)Stratification for Constraint-Based Multi-Objective Combinatorial Optimization., , и . IJCAI, стр. 1376-1382. ijcai.org, (2018)Improving linear search algorithms with model-based approaches for MaxSAT solving., , и . J. Exp. Theor. Artif. Intell., 27 (5): 673-701 (2015)C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments., , и . CoRR, (2022)UNCHARTIT: An Interactive Framework for Program Recovery from Charts., , , , и . ASE, стр. 175-186. IEEE, (2020)Virtual machine consolidation using constraint-based multi-objective optimization., , и . J. Heuristics, 25 (3): 339-375 (2019)Pseudo-Boolean and Cardinality Constraints., и . Handbook of Satisfiability, том 336 из Frontiers in Artificial Intelligence and Applications, IOS Press, (2021)SAT-Based Leximax Optimisation Algorithms., , и . SAT, том 236 из LIPIcs, стр. 29:1-29:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Graph Neural Networks for Mapping Variables Between Programs., , , и . ECAI, том 372 из Frontiers in Artificial Intelligence and Applications, стр. 1811-1818. IOS Press, (2023)