conftrace_

fixed point enumeration

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

attractor computation (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