Satisfiability problems on intervals and unit intervals
From MaRDI portal
Publication:1392209
DOI10.1016/S0304-3975(96)00208-3zbMath0903.68085OpenAlexW2009436911MaRDI QIDQ1392209
Publication date: 23 July 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(96)00208-3
Related Items (4)
Solving infinite-domain CSPs using the patchwork property ⋮ Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms ⋮ Numerical representation of \(PQI\) interval orders ⋮ Representability of binary relations through fuzzy numbers
Cites Work
- Maintaining knowledge about temporal intervals
- A linear time and space algorithm to recognize interval orders
- Interval graphs and related topics
- New scaling algorithms for the assignment and minimum mean cycle problems
- Temporally distributed symptoms in technical diagnosis
- Testing for the consecutive ones property, interval graphs, and graph planarity using PQ-tree algorithms
- Incidence matrices and interval graphs
- Incidence matrices, interval graphs and seriation in archeology
- Intransitive indifference with unequal indifference intervals
- On Finding Lowest Common Ancestors: Simplification and Parallelization
- An Incremental Linear-Time Algorithm for Recognizing Interval Graphs
- Scheduling Interval-Ordered Tasks
- Complexity and algorithms for reasoning about time
- Linear-Time Representation Algorithms for Proper Circular-Arc Graphs and Proper Interval Graphs
- Pathwidth, Bandwidth, and Completion Problems to Proper Interval Graphs with Small Cliques
- Mapping the genome
- Construction of TernaryHv-groups and TernaryP-hyperoperations
- The complexity of satisfiability problems
- A Characterization of Comparability Graphs and of Interval Graphs
- Interval graphs with side (and size) constraints
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Satisfiability problems on intervals and unit intervals
