conftrace_

attractor computation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

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