Reasoning about visibility (Q420853): Difference between revisions

@@ Property / cites work @@
+Handbook of Spatial Logics
@@ Property / cites work: Handbook of Spatial Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Multidimensional binary search trees used for associative searching
+Normal rank
@@ Property / cites work @@
+Decomposable searching problems
@@ Property / cites work: Decomposable searching problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5452284
@@ Property / cites work: Q5452284 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing and Verifying Depth Orders
@@ Property / cites work: Computing and Verifying Depth Orders / rank @@
+Normal rank
@@ Property / cites work @@
+Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithms
+Normal rank
@@ Property / cites work @@
+Lower bounds for orthogonal range searching: I. The reporting case
+Normal rank
@@ Property / cites work @@
+A calculus of individuals based on 'connection'
@@ Property / cites work: A calculus of individuals based on 'connection' / rank @@
+Normal rank
@@ Property / cites work @@
+Individuals and points
@@ Property / cites work: Individuals and points / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729670
@@ Property / cites work: Q2729670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4643853
@@ Property / cites work: Q4643853 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Point Location in a Monotone Subdivision
@@ Property / cites work: Optimal Point Location in a Monotone Subdivision / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Complexity and algorithms for reasoning about time
+Normal rank
@@ Property / cites work @@
+Structured firewall design
@@ Property / cites work: Structured firewall design / rank @@
+Normal rank
@@ Property / cites work @@
+Lex-BFS and partition refinement, with applications to transitive orientation, interval graph recognition and consecutive ones testing
+Normal rank
@@ Property / cites work @@
+Box sort, a multidimensional binary sorting method for rectangular boxes, used for quick range searching
+Normal rank
@@ Property / cites work @@
+Q4488342
@@ Property / cites work: Q4488342 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509059
@@ Property / cites work: Q3509059 / rank @@
+Normal rank
@@ Property / cites work @@
+A special planar satisfiability problem and a consequence of its NP- completeness
+Normal rank
@@ Property / cites work @@
+Data and Applications Security XIX
@@ Property / cites work: Data and Applications Security XIX / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of the Partial Order Dimension Problem
+Normal rank