Author:
Wotzlaw Andreas,Speckenmeyer Ewald,Porschen Stefan
Subject
Applied Mathematics,Discrete Mathematics and Combinatorics
Reference37 articles.
1. X. An, M. Koshimura, H. Fujita, R. Hasegawa, QMaxSAT version 0.3 & 0.4, in: Proceedings of the International Workshop on First-Order Theorem Proving, FTP, 2011, pp. 7–15.
2. L. Arvestad, A.-C. Berglund, J. Lagergren, B. Sennblad, Gene tree reconstruction and orthology analysis based on an integrated model for duplications and sequence evolution, in: Proceedings of the 8th Annual International Conference on Computational Molecular Biology, RECOMB, 2004, pp. 326–335.
3. A linear-time algorithm for testing the truth of certain quantified Boolean formulas;Aspvall;Information Processing Letters,1979
4. Generalized binary tanglegrams: algorithms and applications;Bansal,2009
5. Exact bipartite crossing minimization under tree constraints;Baumann,2010
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献