Various properties of various ultrafilters, various graph width parameters, and various connectivity systems (with survey)
T Fujita - arxiv preprint arxiv:2408.02299, 2024 - arxiv.org
This paper investigates ultrafilters in the context of connectivity systems, defined as pairs
$(X, f) $ where $ X $ is a finite set and $ f $ is a symmetric submodular function. Ultrafilters …
$(X, f) $ where $ X $ is a finite set and $ f $ is a symmetric submodular function. Ultrafilters …
Hypertree decompositions: Questions and answers
In the database context, the hypertree decomposition method is used for query optimization,
whereby conjunctive queries having a low degree of cyclicity can be recognized and …
whereby conjunctive queries having a low degree of cyclicity can be recognized and …
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 …
[書籍][B] Handbook of constraint programming
Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …
that draws on a wide range of techniques from artificial intelligence, computer science …
The last planner system of production control
HG Ballard - 2000 - etheses.bham.ac.uk
Project controls have traditionally been focused on after-the-fact detection of variances. This
thesis proposes a control system, the Last Planner system, that causes the realization of …
thesis proposes a control system, the Last Planner system, that causes the realization of …
[書籍][B] Constraint processing
R Dechter - 2003 - books.google.com
This book provides a comprehensive and much needed introduction to the field by one of its
foremost experts. It is beautifully written and presents a unifying framework capturing a wide …
foremost experts. It is beautifully written and presents a unifying framework capturing a wide …
Ordered sets
BSW Schröder - Springer, 2003 - Springer
Writing the second edition of this text was a wonderful opportunity for a more mature
presentation than I was able to give 13 years ago. The intent still is to give a self-contained …
presentation than I was able to give 13 years ago. The intent still is to give a self-contained …
[PDF][PDF] DPOP: A scalable method for multiagent constraint optimization
A Petcu, B Faltings - IJCAI 05, 2005 - infoscience.epfl.ch
We present in this paper a new, complete method for distributed constraint optimization,
based on dynamic programming. It is a utility propagation method, inspired by the sum …
based on dynamic programming. It is a utility propagation method, inspired by the sum …
Hypertree decompositions and tractable queries
Several important decision problems on conjunctive queries (CQs) are NP-complete in
general but become tractable, and actually highly parallelizable, if restricted to acyclic or …
general but become tractable, and actually highly parallelizable, if restricted to acyclic or …
Closure properties of constraints
Many combinatorial search problems can be expressed as “constraint satisfaction problems”
and this class of problems is known to be NP-complete in general. In this paper, we …
and this class of problems is known to be NP-complete in general. In this paper, we …