Results 201 to 210 of about 5,860 (222)
On Compiling Structured CNFs to OBDDs. [PDF]
Theory Comput Syst, 2017 Bova S, Slivovsky F.
europepmc +1 more source
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
, 2017 Dušan Knop +3 more
openalex +2 more sources
On Guarding Orthogonal Polygons with Bounded Treewidth
, 2017 Thérèse Biedl, Saeed Mehrabi
openalex +2 more sources
Median and small parsimony problems on RNA trees. [PDF]
BioinformaticsMarchand B +3 more
europepmc +1 more source