Quantifier elimination in stochastic Boolean satisfiability
From MaRDI portal
Publication:6572038
DOI10.4230/LIPICS.SAT.2022.23MaRDI QIDQ6572038FDOQ6572038
Jie-Hong R. Jiang, Christoph Scholl, Hao-Ren Wang, Kuan-Hua Tu
Publication date: 12 July 2024
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Computational aspects of satisfiability (68R07)
This page was built for publication: Quantifier elimination in stochastic Boolean satisfiability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572038)
