Horn Upper Bounds and Renaming

DOI10.1007/978-3-540-72788-0_11zbMath1214.68385OpenAlexW1557131514MaRDI QIDQ3612457

Marina Langlois, György Turán, Robert H. Sloan

Publication date: 10 March 2009

Published in: Theory and Applications of Satisfiability Testing – SAT 2007 (Search for Journal in Brave)

Full work available at URL: http://publicatio.bibl.u-szeged.hu/9612/1/79_459_1_PB_u.pdf

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

SAT-Based Horn Least Upper Bounds ⋮ Combinatorial Problems for Horn Clauses

This page was built for publication: Horn Upper Bounds and Renaming