1264 search results - page 37 / 253 » The framework approach for constraint satisfaction |
164
click to vote
JAIR
2010
15 years 4 months ago
2010
Binary Decision Diagram (BDD) based set bounds propagation is a powerful approach to solving set-constraint satisfaction problems. However, prior BDD based techniques incur the si...
140
click to vote
IAT
2008
IEEE
16 years 16 days ago
2008
IEEE
The process of creating e-learning contents using reusable learning objects (LOs) can be broken down in two sub-processes: LOs finding and LO sequencing. Although semiautomatic to...
140
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
Kolaitis and Vardi pointed out that constraint satisfaction and conjunctive query containment are essentially the same problem. We study the Boolean conjunctive queries under a mor...
142
Voted
CP
2008
Springer
15 years 7 months ago
2008
Springer
The Quantified Constraint Satisfaction Problem (QCSP) has been introduced to express situations in which we are not able to control the value of some of the variables (the universa...
137
click to vote
ACISICIS
2008
IEEE
16 years 17 days ago
2008
IEEE
Dedicated machine constraint is one of the new challenges introduced in photolithography machinery of the semiconductor manufacturing system due to natural bias. Previous research...