On Satisfiability Problems with a Linear Structure (Q4634397): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
label / en | label / en | ||
On Satisfiability Problems with a Linear Structure | |||
Property / author | |||
Property / author: Q197784 / rank | |||
Property / author | |||
Property / author: Christos H. Papadimitriou / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1602.07876 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2963301030 / rank | |||
Normal rank | |||
Property / title | |||
On Satisfiability Problems with a Linear Structure (English) | |||
Property / title: On Satisfiability Problems with a Linear Structure (English) / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 08:26, 30 July 2024
scientific article; zbMATH DE number 6857810
Language | Label | Description | Also known as |
---|---|---|---|
English | On Satisfiability Problems with a Linear Structure |
scientific article; zbMATH DE number 6857810 |
Statements
10 April 2018
0 references
satisfiability
0 references
interval graphs
0 references
FPT algorithms
0 references
On Satisfiability Problems with a Linear Structure (English)
0 references