Results 151 to 160 of about 5,860 (222)
A Fixed-Parameter Algorithm for #SAT with Parameter Incidence Treewidth
Marko Samer, Stefan Szeider
openalex +2 more sources
Integer linear programming formulations for treewidth [PDF]
Alexander Grigoriev+2 more
openalex +1 more source
Infrared: a declarative tree decomposition-powered framework for bioinformatics. [PDF]
Yao HT+4 more
europepmc +1 more source
Critical assessment of synthetic accessibility scores in computer-assisted synthesis planning. [PDF]
SkoraczyĆski G+3 more
europepmc +1 more source
Achievable sets, brambles, and sparse treewidth obstructions
Brian Lucena
openalex +1 more source
On the expressive power of planar perfect matching and permanents of bounded treewidth matrices
Laurent Lyaudet+2 more
openalex +2 more sources
An ontology-based knowledge graph for representing interactions involving RNA molecules. [PDF]
Cavalleri E+11 more
europepmc +1 more source
Semi-nice tree-decompositions: The best of branchwidth, treewidth and pathwidth with one algorithm
Frederic Dorn, Jan Arne Telle
openalex +1 more source
Treewidth computation and extremal combinatorics
Fedor V. Fomin, Yngve Villanger
openalex +2 more sources