scientific article; zbMATH DE number 6874827

DOI10.3969/J.ISSN.0258-2724.2017.06.025zbMATH Open1399.90297MaRDI QIDQ4640992FDOQ4640992

Authors: Qingshan Chen, Yang Xu, Xingxing He 

Publication date: 25 May 2018

Title of this publication is not available (Why is that?)

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
• scientific article; zbMATH DE number 1342213
• A logical approach to efficient Max-SAT solving
• Propositional SAT solving

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)

Cited In (1)

• Title not available (Why is that?)

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)