Author:
Martins Ruben,Manquinho Vasco,Lynce Ines
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Distributed bounded model checking;Formal Methods in System Design;2022-01-05
2. Efficient Computation of Expectations under Spanning Tree Distributions;Transactions of the Association for Computational Linguistics;2021
3. Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework;Tools and Algorithms for the Construction and Analysis of Systems;2019
4. Parallel Learning Portfolio-based solvers;Procedia Computer Science;2017
5. Parallel Satisfiability Solver Based on Hybrid Partitioning Method;2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP);2017