Local search algorithm for solving \#SMT problem

DOI10.13328/J.CNKI.JOS.004856MaRDI QIDQ2984837zbMATH OpenFDO

Authors Junping Zhou, Ruizhi Li, Zhiyong Zeng, Minghao Yin

Publication date 17 May 2017

Full work available at URL https://doi.org/10.13328/J.CNKI.JOS.004856

zbMATH Keywords

differential evolutionsatisfiabilitylinear formulation

Mathematics Subject Classification ID

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

Recommendations

• Approximate Counting in SMT and Value Estimation for Probabilistic Programs
• Approximate counting in SMT and value estimation for probabilistic programs
• Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method
• \#SAT solving algorithms based on extension rule using heuristic strategies
• Solving \#SAT using extension rules

This page was built for publication: Local search algorithm for solving \#SMT problem

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