Zobrazeno 1 - 10
of 2 671
pro vyhledávání: '"Biere A"'
All-Solution Satisfiability (AllSAT) and its extension, All-Solution Satisfiability Modulo Theories (AllSMT), have become more relevant in recent years, mainly in formal verification and artificial intelligence applications. The goal of these problem
Externí odkaz:
http://arxiv.org/abs/2410.18707
In this paper, we explore the application of blocked clause elimination for projected model counting. This is the problem of determining the number of models ||\exists X.{\Sigma}|| of a propositional formula {\Sigma} after eliminating a given set X o
Externí odkaz:
http://arxiv.org/abs/2408.06199
Certification helps to increase trust in formal verification of safety-critical systems which require assurance on their correctness. In hardware model checking, a widely used formal verification technique, phase abstraction is considered one of the
Externí odkaz:
http://arxiv.org/abs/2405.04297
A basic algorithm for enumerating disjoint propositional models (disjoint AllSAT) is based on adding blocking clauses incrementally, ruling out previously found models. On the one hand, blocking clauses have the potential to reduce the number of gene
Externí odkaz:
http://arxiv.org/abs/2306.00461
Autor:
Iris M. Brus, Inge Spronk, Suzanne Polinder, Alfons G. M. Olde Loohuis, Peter Tieleman, Stella C. M. Heemskerk, Sara Biere-Rafi, Juanita A. Haagsma
Publikováno v:
BMC Health Services Research, Vol 24, Iss 1, Pp 1-16 (2024)
Abstract Background Many patients with post COVID-19 condition (PCC) require healthcare services. However, qualitative studies indicate that patients with PCC encounter many barriers to healthcare access. This cross-sectional study aimed to determine
Externí odkaz:
https://doaj.org/article/cf2ccaeaf254415f88612dacad0a9b41
Autor:
Anna Loenenbach, Ann-Sophie Lehfeld, Peter Puetz, Barbara Biere, Susan Abunijela, Silke Buda, Michaela Diercke, Ralf Dürrwald, Timo Greiner, Walter Haas, Maria Helmrich, Kerstin Prahm, Jakob Schumacher, Marianne Wedde, Udo Buchholz
Publikováno v:
Emerging Infectious Diseases, Vol 30, Iss 9, Pp 1939-1943 (2024)
Using participatory, virologic, and wastewater surveillance systems, we estimated when and to what extent reported data of adult COVID-19 cases underestimated COVID-19 incidence in Germany. We also examined how case underestimation evolved over time.
Externí odkaz:
https://doaj.org/article/c62ac188c9fa4642bec3f5bde33b6dc4
Our recently proposed certification framework for bit-level k-induction-based model checking has been shown to be quite effective in increasing the trust of verification results even though it partially involved quantifier reasoning. In this paper we
Externí odkaz:
http://arxiv.org/abs/2208.01443
Autor:
Fleury, Mathias, Biere, Armin
We give a first account of our new parallel SAT solver Gimsatul. Its key feature is to share clauses physically in memory instead of copying them, which is the method of other state-of-the-art multi-threaded SAT solvers to exchange clauses logically.
Externí odkaz:
http://arxiv.org/abs/2207.13577
Publikováno v:
In Trends in Plant Science October 2024 29(10):1062-1065