First Page | Document Content | |
---|---|---|
00 A SAT Approach to Clique-Width MARIJN J. H. HEULE, Department of Computer Sciences, The University of Texas at Austin STEFAN SZEIDER, Institute of Computer Graphics and Algorithms, Vienna University of Technology CliAdd to Reading ListSource URL: tocl.acm.orgDownload Document from Source WebsiteFile Size: 642,37 KBShare Document on Facebook |