Author:
Bonacina Maria Paola,Echenim Mnacho
Subject
Computational Mathematics,Algebra and Number Theory
Reference58 articles.
1. Verifying a file system implementation;Arkoudas,2004
2. New results on rewrite-based satisfiability procedures;Armando;ACM Trans. Comput. Logic,2009
3. Armando, A., Castellini, C., Giunchiglia, E., Maratea, M., 2004. A SAT-based decision procedure for the Boolean combination of difference constraints. In: Proc. SAT-7
4. A rewriting approach to satisfiability procedures;Armando;Inform. and Comput.,2003
5. Splitting on demand in SAT modulo theories;Barrett,2006
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Theory Combination: Beyond Equality Sharing;Lecture Notes in Computer Science;2019
2. Parallel Theorem Proving;Handbook of Parallel Constraint Reasoning;2018
3. Prime Implicate Generation in Equational Logic;Journal of Artificial Intelligence Research;2017-12-18
4. Semantically-Guided Goal-Sensitive Reasoning: Inference System and Completeness;Journal of Automated Reasoning;2016-08-06
5. On First-Order Model-Based Reasoning;Lecture Notes in Computer Science;2015