Some Properties of Pigeon-Hole Formulas

DOI10.3724/SP.J.1001.2011.03957zbMath1265.68244OpenAlexW2319529125MaRDI QIDQ2917147

Li Wei, Xiao-Feng Wang, Dao-Yun Xu

Publication date: 5 October 2012

Published in: Journal of Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3724/sp.j.1001.2011.03957

zbMATH Keywords

normal formminimal unsatisfiabilitymaximal satisfiable assignmentpigeon-hole formulasubstructure isomorphism

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Complexity of proofs (03F20)

This page was built for publication: Some Properties of Pigeon-Hole Formulas