Copertina

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kabir, Mohimenul, Trinh, Van-Giang, Pastva, Samuel, Meel, Kuldeep S
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On Lower Bounding Minimal Model Count
di: Kabir, Mohimenul, et al.
Pubblicazione: (2024)

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

Counting Answer Sets of Disjunctive Answer Set Programs
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

An ASP-Based Framework for MUSes
di: Kabir, Mohimenul, et al.
Pubblicazione: (2025)

Minimal Model Counting via Knowledge Compilation
di: Kabir, Mohimenul
Pubblicazione: (2024)

BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
di: Pastva, Samuel, et al.
Pubblicazione: (2026)

On Top-Down Pseudo-Boolean Model Counting
di: Yang, Suwei, et al.
Pubblicazione: (2025)

On the number of asynchronous attractors in AND-NOT Boolean networks
di: Trinh, Van-Giang, et al.
Pubblicazione: (2025)

Towards Projected and Incremental Pseudo-Boolean Model Counting
di: Yang, Suwei, et al.
Pubblicazione: (2024)

Answer Set Counting and its Applications
di: Kabir, Mohimenul
Pubblicazione: (2025)

Static Analysis of Logic Programs via Boolean Networks
di: Trinh, Van-Giang, et al.
Pubblicazione: (2024)

Model Counting in the Wild
di: Shaw, Arijit, et al.
Pubblicazione: (2024)

Approximate SMT Counting Beyond Discrete Domains
di: Shaw, Arijit, et al.
Pubblicazione: (2025)

On the Boolean Network Theory of Datalog$^\neg$
di: Trinh, Van-Giang, et al.
Pubblicazione: (2025)

On the Trap Space Semantics of Normal Logic Programs
di: Trinh, Van-Giang, et al.
Pubblicazione: (2026)

The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques
di: Juba, Brendan, et al.
Pubblicazione: (2025)

mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks
di: Trinh, Van-Giang, et al.
Pubblicazione: (2024)

Towards Practical First-Order Model Counting
di: Kidambi, Ananth K., et al.
Pubblicazione: (2025)

Efficient Volume Computation for SMT Formulas
di: Shaw, Arijit, et al.
Pubblicazione: (2025)

An Approximate Skolem Function Counter
di: Shaw, Arijit, et al.
Pubblicazione: (2023)

Assessing the Quality of Binomial Samplers: A Statistical Distance Framework
di: Sarkar, Uddalok, et al.
Pubblicazione: (2025)

Counting and Sampling Traces in Regular Languages
di: de Colnet, Alexis, et al.
Pubblicazione: (2025)

Formally Certified Approximate Model Counting
di: Tan, Yong Kiam, et al.
Pubblicazione: (2024)

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology
di: Huvar, Ondřej, et al.
Pubblicazione: (2026)

Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
di: Lichter, Moritz
Pubblicazione: (2022)

CNFs and DNFs with Exactly $k$ Solutions
di: Chandran, L. Sunil, et al.
Pubblicazione: (2025)

Inapproximability of Unique Games in Fixed-Point Logic with Counting
di: Tucker-Foltz, Jamie
Pubblicazione: (2021)

Towards Practical Zero-Knowledge Proof for PSPACE
di: Karthikeyan, Ashwin, et al.
Pubblicazione: (2025)

Scalable Interconnect Learning in Boolean Networks
di: Kresse, Fabian, et al.
Pubblicazione: (2025)

Fixed Point Theorems in Computability Theory
di: Terwijn, Sebastiaan A.
Pubblicazione: (2024)

A faster FPRAS for #NFA
di: Meel, Kuldeep S., et al.
Pubblicazione: (2023)

Model Counting for Dependency Quantified Boolean Formulas
di: Fung, Long-Hin, et al.
Pubblicazione: (2025)

Efficient Certified Reasoning for Binarized Neural Networks
di: Yang, Jiong, et al.
Pubblicazione: (2025)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
di: Lyon, Tim S.
Pubblicazione: (2024)

Functional variant of Polynomial Analogue of Gandy's Fixed Point Theorem
di: Nechesov, Andrey
Pubblicazione: (2024)

Graphical Conditions for the Existence, Unicity and Number of Regular Models
di: Trinh, Van-Giang, et al.
Pubblicazione: (2025)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)

Boolean basis, formula size, and number of modal operators
di: Berkholz, Christoph, et al.
Pubblicazione: (2024)

Strong Nominal Semantics for Fixed-Point Constraints
di: Caires-Santos, Ali K., et al.
Pubblicazione: (2024)

Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT
di: Huvar, Ondřej, et al.
Pubblicazione: (2026)