Author:
Benhamou Belaïd,Saïdi Mohamed Réda
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Krishnamurty, B.: Short proofs for tricky formulas. Acta informatica 22, 253–275 (1985)
2. Benhamou, B., Sais, L.: Theoretical study of symmetries in propositional calculus and application. In: Eleventh International Conference on Automated Deduction, Saratoga Springs, NY, USA (1992)
3. Benhamou, B., Sais, L.: Tractability through symmetries in propositional calculus. Journal of Automated Reasoning (JAR) 12, 89–102 (1994)
4. Lecture Notes in Computer Science;B. Benhamou,1994
5. Freuder, E.: Eliminating interchangeable values in constraints satisfaction problems. In: Proc AAAI 1991, pp. 227–233 (1991)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Global Results Synthesis;Algorithms for Solving Financial Portfolio Design Problems;2020
2. Portfolio Design Models;Algorithms for Solving Financial Portfolio Design Problems;2020
3. Resolution Methods;Algorithms for Solving Financial Portfolio Design Problems;2020
4. Local and global symmetry breaking in itemset mining;Annals of Mathematics and Artificial Intelligence;2016-10-15
5. Dynamic and Static Symmetry Breaking in Answer Set Programming;Logic for Programming, Artificial Intelligence, and Reasoning;2013