scientific article; zbMATH DE number 6874827

DOI10.3969/J.ISSN.0258-2724.2017.06.025MaRDI QIDQ4640992zbMATH OpenFDO

Authors Qingshan Chen, Yang Xu, Xingxing He

Publication date 25 May 2018

zbMATH Keywords

searching algorithmsdecision makingheuristic algorithmssatisfiability problemdeductive reasoning

Mathematics Subject Classification ID

Management decision making, including multiple objectives (90B50) Approximation methods and heuristics in mathematical programming (90C59)

Recommendations

• Solving SAT problem by heuristic polarity decision-making algorithm
• \#SAT solving algorithms based on extension rule using heuristic strategies
• Theory and Applications of Satisfiability Testing
• scientific article; zbMATH DE number 4039349
• scientific article; zbMATH DE number 6519724
• scientific article; zbMATH DE number 1342213
• A logical approach to efficient Max-SAT solving
• Propositional SAT solving

Cited in

(1)

• scientific article; zbMATH DE number 6519724 (Why is no real title available?)

This page was built for publication:

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