Satisfiability with index dependency

DOI10.1007/978-3-642-17517-6_7zbMATH Open1310.68114OpenAlexW1563026540MaRDI QIDQ3060720FDOQ3060720

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

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

zbMATH Keywords

bandwidthdichotomyBoolean satisfiability problemindex-dependencyindex-width

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Cited In (2)

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

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)