Matches in SemOpenAlex for { <https://semopenalex.org/work/W78639503> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W78639503 endingPage "264" @default.
- W78639503 startingPage "248" @default.
- W78639503 abstract "AbstractMany applications, such as scheduling and temporal planning, require the solution of Temporal Problems (TP’s) representing constraints over the timing of activities. A TP with uncertainty (TPU) is characterized by activities with uncontrollable duration. Depending on the Boolean structure of the constraints, we have simple (STPU), constraint satisfaction (TCSPU), and disjunctive (DTPU) temporal problems with uncertainty.In this work we tackle the problem of strong controllability, i.e. finding an assignment to all the controllable time points, such that the constraints are fulfilled under any possible assignment of uncontrollable time points. We work in the framework of Satisfiability Modulo Theory (SMT), where uncertainty is expressed by means of universal quantifiers. We obtain the first practical and comprehensive solution for strong controllability: the use of quantifier elimination techniques leads to quantifier-free encodings, which are in turn solved with efficient SMT solvers.We provide a detailed experimental evaluation of our approach over a large set of benchmarks. The results clearly demonstrate that the proposed approach is feasible, and outperforms the best state-of-the-art competitors, when available.KeywordsConjunctive Normal FormStrong ControllabilitySatisfying AssignmentTemporal ProblemContingent ConstraintThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W78639503 created "2016-06-24" @default.
- W78639503 creator A5017426974 @default.
- W78639503 creator A5044668534 @default.
- W78639503 creator A5055975794 @default.
- W78639503 date "2012-01-01" @default.
- W78639503 modified "2023-09-27" @default.
- W78639503 title "Solving Temporal Problems Using SMT: Strong Controllability" @default.
- W78639503 cites W1480909796 @default.
- W78639503 cites W1488662850 @default.
- W78639503 cites W1592709139 @default.
- W78639503 cites W1862725884 @default.
- W78639503 cites W1948299783 @default.
- W78639503 cites W1982849299 @default.
- W78639503 cites W2011800728 @default.
- W78639503 cites W2013702670 @default.
- W78639503 cites W2089110971 @default.
- W78639503 cites W2091968063 @default.
- W78639503 cites W2100622236 @default.
- W78639503 cites W2125967324 @default.
- W78639503 cites W2130182605 @default.
- W78639503 cites W2136212964 @default.
- W78639503 cites W2146110773 @default.
- W78639503 cites W2161484642 @default.
- W78639503 cites W2423358376 @default.
- W78639503 doi "https://doi.org/10.1007/978-3-642-33558-7_20" @default.
- W78639503 hasPublicationYear "2012" @default.
- W78639503 type Work @default.
- W78639503 sameAs 78639503 @default.
- W78639503 citedByCount "13" @default.
- W78639503 countsByYear W786395032013 @default.
- W78639503 countsByYear W786395032014 @default.
- W78639503 countsByYear W786395032015 @default.
- W78639503 countsByYear W786395032016 @default.
- W78639503 countsByYear W786395032017 @default.
- W78639503 countsByYear W786395032023 @default.
- W78639503 crossrefType "book-chapter" @default.
- W78639503 hasAuthorship W78639503A5017426974 @default.
- W78639503 hasAuthorship W78639503A5044668534 @default.
- W78639503 hasAuthorship W78639503A5055975794 @default.
- W78639503 hasConcept C118615104 @default.
- W78639503 hasConcept C126255220 @default.
- W78639503 hasConcept C154945302 @default.
- W78639503 hasConcept C164155591 @default.
- W78639503 hasConcept C168773769 @default.
- W78639503 hasConcept C177264268 @default.
- W78639503 hasConcept C199360897 @default.
- W78639503 hasConcept C199622910 @default.
- W78639503 hasConcept C2524010 @default.
- W78639503 hasConcept C2776036281 @default.
- W78639503 hasConcept C28826006 @default.
- W78639503 hasConcept C32278780 @default.
- W78639503 hasConcept C33923547 @default.
- W78639503 hasConcept C41008148 @default.
- W78639503 hasConcept C44616089 @default.
- W78639503 hasConcept C48209547 @default.
- W78639503 hasConcept C49937458 @default.
- W78639503 hasConcept C54732982 @default.
- W78639503 hasConcept C80444323 @default.
- W78639503 hasConcept C98045186 @default.
- W78639503 hasConceptScore W78639503C118615104 @default.
- W78639503 hasConceptScore W78639503C126255220 @default.
- W78639503 hasConceptScore W78639503C154945302 @default.
- W78639503 hasConceptScore W78639503C164155591 @default.
- W78639503 hasConceptScore W78639503C168773769 @default.
- W78639503 hasConceptScore W78639503C177264268 @default.
- W78639503 hasConceptScore W78639503C199360897 @default.
- W78639503 hasConceptScore W78639503C199622910 @default.
- W78639503 hasConceptScore W78639503C2524010 @default.
- W78639503 hasConceptScore W78639503C2776036281 @default.
- W78639503 hasConceptScore W78639503C28826006 @default.
- W78639503 hasConceptScore W78639503C32278780 @default.
- W78639503 hasConceptScore W78639503C33923547 @default.
- W78639503 hasConceptScore W78639503C41008148 @default.
- W78639503 hasConceptScore W78639503C44616089 @default.
- W78639503 hasConceptScore W78639503C48209547 @default.
- W78639503 hasConceptScore W78639503C49937458 @default.
- W78639503 hasConceptScore W78639503C54732982 @default.
- W78639503 hasConceptScore W78639503C80444323 @default.
- W78639503 hasConceptScore W78639503C98045186 @default.
- W78639503 hasLocation W786395031 @default.
- W78639503 hasOpenAccess W78639503 @default.
- W78639503 hasPrimaryLocation W786395031 @default.
- W78639503 hasRelatedWork W128226163 @default.
- W78639503 hasRelatedWork W1504520037 @default.
- W78639503 hasRelatedWork W1593899949 @default.
- W78639503 hasRelatedWork W1868334863 @default.
- W78639503 hasRelatedWork W2401079607 @default.
- W78639503 hasRelatedWork W2433033450 @default.
- W78639503 hasRelatedWork W2621544935 @default.
- W78639503 hasRelatedWork W2951913576 @default.
- W78639503 hasRelatedWork W4298483060 @default.
- W78639503 hasRelatedWork W78639503 @default.
- W78639503 isParatext "false" @default.
- W78639503 isRetracted "false" @default.
- W78639503 magId "78639503" @default.
- W78639503 workType "book-chapter" @default.