View Document Preview and Link Document Date: 2014-01-02 14:20:57 Open Document File Size: 523,65 KB Share Result on Facebook
Company CNF / Computer Sciences / / Country Austria / / Currency pence / / Event Company Expansion / / Facility University of Texas / USA Institute of Information Systems / Vienna University of Technology / / IndustryTerm polynomialtime algorithm / approximation algorithms / / Organization USA Institute of Information Systems / University of Texas at Austin / National Science Foundation / Vienna University of Technology / Vienna / Department of Computer Sciences / / Position Representative / / ProvinceOrState Texas / / Technology approximation algorithms / implemented algorithms / polynomialtime algorithm / cmp / / SocialTag 
A SAT Approach to Clique-Width Marijn J. H. Heule1? and Stefan Szeider2?? 1 2