Constraint satisfaction problems: Algorithms and applications
SC Brailsford, CN Potts, BM Smith - European journal of operational …, 1999 - Elsevier
A constraint satisfaction problem (CSP) requires a value, selected from a given finite
domain, to be assigned to each variable in the problem, so that all constraints relating the …
domain, to be assigned to each variable in the problem, so that all constraints relating the …
Qualitative spatial representation and reasoning
Publisher Summary Early attempts at qualitative spatial reasoning within the qualitative
reasoning (QR) community led to the poverty conjecture. The need for spatial …
reasoning (QR) community led to the poverty conjecture. The need for spatial …
A proof of the CSP dichotomy conjecture
D Zhuk - Journal of the ACM (JACM), 2020 - dl.acm.org
Many natural combinatorial problems can be expressed as constraint satisfaction problems.
This class of problems is known to be NP-complete in general, but certain restrictions on the …
This class of problems is known to be NP-complete in general, but certain restrictions on the …
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] Interval analysis
Before using interval analysis as a basic tool in the following chapters, we shall now
introduce its main concepts. Section 2.2 recalls fundamental notions on set operators, set …
introduce its main concepts. Section 2.2 recalls fundamental notions on set operators, set …
[图书][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 …
The lexical nature of syntactic ambiguity resolution.
MC MacDonald, NJ Pearlmutter… - Psychological …, 1994 - psycnet.apa.org
Ambiguity resolution is a central problem in language comprehension. Lexical and syntactic
ambiguities are standardly assumed to involve different types of knowledge representations …
ambiguities are standardly assumed to involve different types of knowledge representations …
Grami: Frequent subgraph and pattern mining in a single large graph
Mining frequent subgraphs is an important operation on graphs; it is defined as finding all
subgraphs that appear frequently in a database according to a given frequency threshold …
subgraphs that appear frequently in a database according to a given frequency threshold …