conftrace_

biological regulatory network

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

boolean network (1) singleton attractor (1) attractor computation (1) fixed point enumeration (1) sat solver (1) model checking (1)

Papers

A SAT-based Method for Counting All Singleton Attractors in Boolean Networks IJCAI 2025