Satisfiability problems on intervals and unit intervals (Q1392209): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3056948
@@ Property / cites work: Q3056948 / 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 @@
+Q4003160
@@ Property / cites work: Q4003160 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear time and space algorithm to recognize interval orders
+Normal rank
@@ Property / cites work @@
+Construction of Ternary<i>H</i><sub><i>v</i></sub>-groups and Ternary<i>P</i>-hyperoperations
+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 @@
+Linear-Time Representation Algorithms for Proper Circular-Arc Graphs and Proper Interval Graphs
+Normal rank
@@ Property / cites work @@
+Intransitive indifference with unequal indifference intervals
+Normal rank
@@ Property / cites work @@
+Q3344239
@@ Property / cites work: Q3344239 / rank @@
+Normal rank
@@ Property / cites work @@
+Incidence matrices and interval graphs
@@ Property / cites work: Incidence matrices and interval graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A Characterization of Comparability Graphs and of Interval Graphs
+Normal rank
@@ Property / cites work @@
+Interval graphs and related topics
@@ Property / cites work: Interval graphs and related topics / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity and algorithms for reasoning about time
+Normal rank
@@ Property / cites work @@
+Q5342956
@@ Property / cites work: Q5342956 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281626
@@ Property / cites work: Q4281626 / rank @@
+Normal rank
@@ Property / cites work @@
+Pathwidth, Bandwidth, and Completion Problems to Proper Interval Graphs with Small Cliques
+Normal rank
@@ Property / cites work @@
+Mapping the genome
@@ Property / cites work: Mapping the genome / rank @@
+Normal rank
@@ Property / cites work @@
+Incidence matrices, interval graphs and seriation in archeology
+Normal rank
@@ Property / cites work @@
+An Incremental Linear-Time Algorithm for Recognizing Interval Graphs
+Normal rank
@@ Property / cites work @@
+Q3686754
@@ Property / cites work: Q3686754 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporally distributed symptoms in technical diagnosis
+Normal rank
@@ Property / cites work @@
+New scaling algorithms for the assignment and minimum mean cycle problems
+Normal rank
@@ Property / cites work @@
+Scheduling Interval-Ordered Tasks
@@ Property / cites work: Scheduling Interval-Ordered Tasks / rank @@
+Normal rank
@@ Property / cites work @@
+Q5588432
@@ Property / cites work: Q5588432 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138414
@@ Property / cites work: Q4138414 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+On Finding Lowest Common Ancestors: Simplification and Parallelization
+Normal rank
@@ Property / cites work @@
+Interval graphs with side (and size) constraints
@@ Property / cites work: Interval graphs with side (and size) constraints / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(96)00208-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2009436911
@@ Property / OpenAlex ID: W2009436911 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1392209