Publisher
Springer International Publishing
Reference230 articles.
1. Martin Aigner, Armin Biere, Christoph M. Kirsch, Aina Niemetz, and Mathias Preiner. Analysis of portfolio-style parallel SAT solving on current multi-core architectures. In Daniel Le Berre and Allen Van Gelder, editors, Notes of the Fourth Workshop on Pragmatics of SAT (POS), Sixteenth International Conference on Theory and Applications of Satisfiability Testing (SAT), pages 28–40, 2013.
2. Gábor Alagi and Christoph Weidenbach. NRCL – a model building approach to the Bernays-Schönfinkel fragment. In Carsten Lutz and Silvio Ranise, editors, Proceedings of the Tenth International Symposium on Frontiers of Combining Systems (FroCoS), volume 9322 of Lecture Notes in Artificial Intelligence, pages 69–84. Springer, 2015.
3. Iliès Alouini. Concurrent garbage collector for concurrent rewriting. In Jieh Hsiang, editor, Proceedings of the Sixth International Conference on Rewriting Techniques and Applications (RTA), volume 914 of Lecture Notes in Computer Science, pages 132–146. Springer, 1995.
4. Iliès Alouini. Étude et mise en oeuvre de la réecriture conditionnelle concurrente sur des machines parallèles à mémoire distribuée. PhD thesis, Université Henri Poincaré Nancy 1, May 1997.
5. Siva Anantharaman and Nirina Andrianarivelo. Heuristical criteria in refutational theorem proving. In Alfonso Miola, editor, Proceedings of the First International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO), volume 429 of Lecture Notes in Computer Science, pages 184–193. Springer, 1990.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献