History
1
an:05767531
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Better algorithms for satisfiability problems for formulas of bounded rank-width. (English)
Comput. Res. Repos. 2010, Article No. 1006.5621 (2010).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX URL
Valid XHTML 1.0 Transitional Valid CSS!