Author:
Rauch Johannes,Rautenbach Dieter
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference11 articles.
1. A linear-time algorithm for testing the truth of certain quantified Boolean formulas;Aspvall;Inf. Process. Lett.,1979
2. Paths, trees, and flowers;Edmonds;Can. J. Math.,1965
3. Über extreme Punkt- und Kantenmengen;Gallai;Ann. Univ. Sci. Bp. Rolando Eötvös Nomin., Sect. Math.,1959
4. On representatives of subsets;Hall;J. Lond. Math. Soc.,1935