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 …

[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 …

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 …

Matrix reordering methods for table and network visualization

M Behrisch, B Bach, N Henry Riche… - Computer Graphics …, 2016 - Wiley Online Library
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 …

[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 …

Connecting connectomes to physiology

A Borst, C Leibold - Journal of Neuroscience, 2023 - Soc Neuroscience
With the advent of volumetric EM techniques, large connectomic datasets are being created,
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 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 …

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 …

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 …