Satisfiability with index dependency

DOI10.1007/978-3-642-17517-6_7MaRDI QIDQ3060720zbMATH OpenOpenAlexFDO

Authors Hongyu Liang, Jing (Selena) He

Publication date 9 December 2010

Published in Algorithms and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-17517-6_7

zbMATH Keywords

bandwidthdichotomyBoolean satisfiability problemindex-dependencyindex-width

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Satisfiability with index dependency
• A Complexity Index for Satisfiability Problems
• scientific article; zbMATH DE number 1390075
• On Some SAT-Variants over Linear Formulas
• A simplified NP-complete satisfiability problem

Cited in

(2)

• Satisfiability with index dependency
• Power indices and easier hard problems

Describes a project that uses

Uses Software

• MAX-2-SAT

This page was built for publication: Satisfiability with index dependency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3060720)