Resource-constrained project scheduling: Notation, classification, models, and methods
P Brucker, A Drexl, R Möhring, K Neumann… - European journal of …, 1999 - Elsevier
Project scheduling is concerned with single-item or small batch production where scarce
resources have to be allocated to dependent activities over time. Applications can be found …
resources have to be allocated to dependent activities over time. Applications can be found …
[BOOK][B] Graph structure and monadic second-order logic: a language-theoretic approach
B Courcelle, J Engelfriet - 2012 - books.google.com
The study of graph structure has advanced in recent years with great strides: finite graphs
can be described algebraically, enabling them to be constructed out of more basic elements …
can be described algebraically, enabling them to be constructed out of more basic elements …
Graph rewriting: An algebraic and logic approach
B Courcelle - Formal models and semantics, 1990 - Elsevier
Publisher Summary This chapter presents three mathematical tools that can be used to
describe graph-grammars and the sets generated by them. The chapter describes graph …
describe graph-grammars and the sets generated by them. The chapter describes graph …
Matrix reordering methods for table and network visualization
This survey provides a description of algorithms to reorder visual matrices of tabular data
and adjacency matrix of Networks. The goal of this survey is to provide a comprehensive list …
and adjacency matrix of Networks. The goal of this survey is to provide a comprehensive list …
[BOOK][B] Basic graph theory
MS Rahman - 2017 - Springer
This book is written based on my class notes developed while teaching the undergraduate
graph theory course “Basic Graph Theory” at the Department of Computer Science and …
graph theory course “Basic Graph Theory” at the Department of Computer Science and …
Connecting connectomes to physiology
With the advent of volumetric EM techniques, large connectomic datasets are being created,
providing neuroscience researchers with knowledge about the full connectivity of neural …
providing neuroscience researchers with knowledge about the full connectivity of neural …
[PDF][PDF] The monadic second-order logic of graphs III: Tree-decompositions, minors and complexity issues
B Courcelle - RAIRO-Theoretical Informatics and Applications, 1992 - numdam.org
We relate the tree-decompositions of hypergraphs introduced by Robertson and Seymour to
the finite and infinité algebraic expressions introduced by Bauderon and Courcelle. We …
the finite and infinité algebraic expressions introduced by Bauderon and Courcelle. We …
The NP-completeness column: An ongoing gulde
DS Johnson - Journal of Algorithms, 1982 - Elsevier
This is the fifth edition of a quarterly column the purpose of which is to provide continuing
coverage of new developments in the theory of NP-completeness. The presentation is …
coverage of new developments in the theory of NP-completeness. The presentation is …
Algorithmic uses of the Feferman–Vaught theorem
JA Makowsky - Annals of Pure and Applied Logic, 2004 - Elsevier
The classical Feferman–Vaught Theorem for First Order Logic explains how to compute the
truth value of a first order sentence in a generalized product of first order structures by …
truth value of a first order sentence in a generalized product of first order structures by …
The monadic second-order logic of graphs V: On closing the gap between definability and recognizability
B Courcelle - Theoretical Computer Science, 1991 - Elsevier
Context-free graph-grammars are considered such that, in every generated graph G, a
derivation tree of G can be constructed by means of monadic second-order formulas that …
derivation tree of G can be constructed by means of monadic second-order formulas that …