Sciweavers

1322 search results - page 15 / 265
» Parameterized counting problems
Sort
View
CHARME
2005
Springer
124views Hardware» more  CHARME 2005»
15 years 12 months ago
A Parameterized Benchmark Suite of Hard Pipelined-Machine-Verification Problems
Panagiotis Manolios, Sudarshan K. Srinivasan
129
Voted
COCO
2007
Springer
106views Algorithms» more  COCO 2007»
15 years 10 months ago
On Parameterized Path and Chordless Path Problems
Yijia Chen, Jörg Flum
CIAC
2006
Springer
69views Algorithms» more  CIAC 2006»
15 years 10 months ago
The Linear Arrangement Problem Parameterized Above Guaranteed Value
Gregory Gutin, Arash Rafiey, Stefan Szeider, Ander...