On the modelling and optimization of preferences in constraint-based temporal reasoning (Q646549): Difference between revisions

@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / 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.artint.2010.11.016
+Normal rank
@@ Property / OpenAlex ID @@
+W2070587810
@@ Property / OpenAlex ID: W2070587810 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q3005891
@@ Property / cites work: Q3005891 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Semirings for constraint solving and programming.
@@ Property / cites work: Semirings for constraint solving and programming. / rank @@
+Normal rank
@@ Property / cites work @@
+Semiring-based constraint satisfaction and optimization
+Normal rank
@@ Property / cites work @@
+Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
+Normal rank
@@ Property / cites work @@
+Temporal constraint networks
@@ Property / cites work: Temporal constraint networks / rank @@
+Normal rank
@@ Property / cites work @@
+Dealing with Incomplete Preferences in Soft Constraint Problems
+Normal rank
@@ Property / cites work @@
+Q2753006
@@ Property / cites work: Q2753006 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical approach to efficient Max-SAT solving
@@ Property / cites work: A logical approach to efficient Max-SAT solving / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Incompleteness and incomparability in preference aggregation: complexity results
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+On Solving Soft Temporal Constraints Using SAT Techniques
+Normal rank
@@ Property / cites work @@
+Backtracking algorithms for disjunctions of temporal constraints
+Normal rank
@@ Property / cites work @@
+Efficient solution techniques for disjunctive temporal reasoning problems
+Normal rank