Zobrazeno 1 - 10
of 725 295
pro vyhledávání: '"Enumeration"'
Autor:
Balasubramanian, Krishnan1 (AUTHOR) kbalu@asu.edu
Publikováno v:
Symmetry (20738994). Aug2024, Vol. 16 Issue 8, p1020. 36p.
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
Ranked enumeration is a query-answering paradigm where the query answers are returned incrementally in order of importance (instead of returning all answers at once). Importance is defined by a ranking function that can be specific to the application
Externí odkaz:
http://arxiv.org/abs/2409.08142
Autor:
Nakajima, Chihiro
This paper deals with themes such as approximate counting/evaluation of the total number of flat-foldings for random origami diagrams, evaluation of the values averaged over various instances, obtaining forcing sets for general origami diagrams, and
Externí odkaz:
http://arxiv.org/abs/2409.03240