Consistency checking of STNs with decisions: managing temporal and access-control constraints in a seamless way (Q821554): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2020.104637
@@ Property / DOI: 10.1016/j.ic.2020.104637 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sat4j
@@ Property / describes a project that uses: Sat4j / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2020.104637
+Normal rank
@@ Property / OpenAlex ID @@
+W3095010045
@@ Property / OpenAlex ID: W3095010045 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal constraint networks
@@ Property / cites work: Temporal constraint networks / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal representation and reasoning in artificial intelligence: Issues and approaches
+Normal rank
@@ Property / cites work @@
+Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty.
+Normal rank
@@ Property / cites work @@
+Maximising the weighted number of activity execution modes in project planning
+Normal rank
@@ Property / cites work @@
+Q3112642
@@ Property / cites work: Q3112642 / rank @@
+Normal rank
@@ Property / cites work @@
+Backtracking algorithms for disjunctions of temporal constraints
+Normal rank
@@ Property / cites work @@
+Conditional simple temporal networks with uncertainty and decisions
+Normal rank
@@ Property / cites work @@
+Generalized Conflict Learning for Hybrid Discrete/Linear Optimization
+Normal rank
@@ Property / cites work @@
+SAT race 2015
@@ Property / cites work: SAT race 2015 / rank @@
+Normal rank
@@ Property / cites work @@
+CTP: A new constraint-based formalism for conditional, temporal planning
+Normal rank
@@ Property / cites work @@
+Conditional Simple Temporal Networks with Uncertainty and Resources
+Normal rank
@@ Property / cites work @@
+Q2845506
@@ Property / cites work: Q2845506 / rank @@
+Normal rank
@@ Property / cites work @@
+Incorporating decision nodes into conditional simple temporal networks
+Normal rank
@@ Property / cites work @@
+Conditional simple temporal networks with uncertainty and decisions
+Normal rank
@@ Property / cites work @@
+Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions
+Normal rank
@@ Property / cites work @@
+A streamlined model of conditional simple temporal networks -- semantics and equivalence results
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2020.104637
@@ Property / DOI: 10.1016/J.IC.2020.104637 / rank @@
+Normal rank