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 …

Hypertree decompositions: Questions and answers

G Gottlob, G Greco, N Leone, F Scarcello - Proceedings of the 35th ACM …, 2016 - dl.acm.org
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 …

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 …

[書籍][B] Handbook of constraint programming

F Rossi, P Van Beek, T Walsh - 2006 - books.google.com
Constraint programming is a powerful paradigm for solving combinatorial search problems
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 …

[書籍][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 …

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 …

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

Hypertree decompositions and tractable queries

G Gottlob, N Leone, F Scarcello - Proceedings of the eighteenth ACM …, 1999 - dl.acm.org
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 …

Closure properties of constraints

P Jeavons, D Cohen, M Gyssens - Journal of the ACM (JACM), 1997 - dl.acm.org
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 …