Maxterm Covering for Satisfiability

DOI10.1109/TC.2010.270MaRDI QIDQ5277653zbMATH OpenFDO

Authors Liangze Yin, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu

Publication date 12 July 2017

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/TC.2010.270

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cited in

(1)

• Selection of search strategies for solving 3-SAT problems

This page was built for publication: Maxterm Covering for Satisfiability

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