conftrace_

singleton attractor

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

boolean network (1) biological regulatory network (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