Efficient Enumeration of Fixed Points in Complex Boolean Networks Using Answer Set Programming.

Van-Giang Trinh Belaid Benhamou Sylvain Soliman

Published in: CP (2023)

Keyphrases

answer set programming
fixed point
logic programs
boolean networks
logic programming
answer sets
dynamical systems
sufficient conditions
high level
complex systems
particle filter
model selection
default logic
free energy