The hardness of the grid problemGi Under the Routine Resolution Method

DOI10.1002/MALQ.19870330110zbMath0592.68038OpenAlexW1971563430MaRDI QIDQ3721813

Wenqi Huang, Zhixiang Chen, Chusheng Lai

Publication date: 1987

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19870330110

zbMATH Keywords

conjunctive normal formNP problemclauses

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

This page was built for publication: The hardness of the grid problemGi Under the Routine Resolution Method