Author:
Döcker Janosch,Dorn Britta,Linz Simone,Semple Charles
Subject
General Computer Science,Theoretical Computer Science
Reference17 articles.
1. Approximation hardness of short symmetric instances of MAX-3SAT;Berman,2003
2. The complexity of finding multiple solutions to betweenness and quartet compatibility;Bonet;IEEE/ACM Trans. Comput. Biol. Bioinform.,2012
3. The complexity of theorem-proving procedures;Cook,1971
4. The complexity of multiterminal cuts;Dahlhaus;SIAM J. Comput.,1994