Sciweavers

20294 search results - page 104 / 4059
» Algorithmic Information Theory
Sort
View
AAAI
2000
15 years 5 months ago
On 2-SAT and Renamable Horn
We introduce new linear time algorithms for satisfiability of binary propositional theories (2-SAT), and for recognition and satisfiability of renamable Horn theories. The algorit...
Alvaro del Val

Book
271views
17 years 2 months ago
Notes on Coding Theory
"These notes were written over a period of years as part of an advanced undergraduate/ beginning graduate course on Algebraic Coding Theory at Michigan State University.&quo...
J. I. Hall
87
Voted
INFORMS
2007
49views more  INFORMS 2007»
15 years 4 months ago
Power Algorithms for Inverting Laplace Transforms
Efstathios Avdis, Ward Whitt
INFORMS
2002
41views more  INFORMS 2002»
15 years 3 months ago
A Hybrid Exact Algorithm for the TSPTW
Filippo Focacci, Andrea Lodi, Michela Milano