Author:
Ansótegui Carlos,Giráldez-Cru Jesús,Levy Jordi
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Amir, E., McIlraith, S.A.: Partition-based logical reasoning for first-order and propositional theories. Artif. Intell. 162(1-2), 49–88 (2005)
2. Lecture Notes in Computer Science;C. Ansótegui,2009
3. Audemard, G., Simon, L.: Predicting learnt clauses quality in modern SAT solvers. In: IJCAI, pp. 399–404 (2009)
4. Barber, M.J.: Modularity and community detection in bipartite networks. Phys. Rev. E 76(6), 066102 (2007)
5. Biere, A.: Picosat essentials. JSAT 4(2-4), 75–97 (2008)
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献