Sciweavers

CORR
2010
Springer

Better algorithms for satisfiability problems for formulas of bounded rank-width

13 years 11 months ago
Better algorithms for satisfiability problems for formulas of bounded rank-width
Robert Ganian, Petr Hlinený, Jan Obdrz&aacu
Added 25 Dec 2010
Updated 25 Dec 2010
Type Journal
Year 2010
Where CORR
Authors Robert Ganian, Petr Hlinený, Jan Obdrzálek
Comments (0)