238 search results - page 26 / 48 » Planning as Satisfiability |
CAISE
1999
Springer
14 years 3 months ago
1999
Springer
Time management is a critical component of workflow-based process management. Important aspects of time management include planning of workflow process execution in time, estimat...
ECAI
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. We address the problem of representing big sets of binary constraints compactly. Binary constraints in the form of 2literal clauses are ubiquitous in propositional formul...
LREC
2008
14 years 11 days ago
2008
The original Mixer corpus was designed to satisfy developing commercial and forensic needs. The resulting Mixer corpora, Phases 1 through 5, have evolved to support and increasing...
ENDM
2010
13 years 11 months ago
2010
Earliest arrival flows model a central aspect of evacuation planning: In a dangerous situation, as many individuals as possible should be rescued at any point in time. Unfortunate...
ICDE
2010
IEEE
14 years 5 months ago
2010
IEEE
— We demonstrate ROX, a run-time optimizer of XQueries, that focuses on finding the best execution order of XPath steps and relational joins in an XQuery. The problem of join or...