1
Published 2008
Table of Contents: ... Approach to the Job-Shop Scheduling Problem -- Short Papers -- Counting Solutions of Integer Programs Using...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Zielonka-Type Construction of Deterministic Asynchronous Automata -- Pumping and Counting on the Regular...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... and Their Compilation for Solving MinCostSAT -- Bound-Consistent Deviation Constraint -- Constructive Interval...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... -- The Interval Constrained 3-Coloring Problem -- Counting Hexagonal Patches and Independent Sets in Circle Graphs...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... for Computing Variants of the Longest Common Subsequence Problem -- Session 5B: Graphs -- Constructing Labeling...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ...Complexity Dichotomy for Counting Problems.- Algorithms for Analyzing and Verifying Infinite-State...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... Minimal Infrequent Multi-dimensional Intervals -- Cut Problems in Graphs with a Budget Constraint -- Lower...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... for NC k -- Extensional Uniformity for Boolean Circuits -- Pure Pointer Programs with Iteration...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... Interval Job Distribution -- Average Schedule Length and Resource Selection Policies on Computational Grids...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... in Belief -- The Bahncard Problem with Interest Rate and Risk -- Optimal Starting Price in Online Auctions...
View full text
Electronic eBook