{"id":"arxiv/2604.01018","url":"https://arxiv.org/abs/2604.01018","tags":["math.OC","cs.DM","math.DS","q-bio.MN"],"score":0,"title":"A Bilevel Integer Programming Approach for the Synchronous Attractor Control Problem","domain":"math.OC","source":"arxiv","authors":["Kyungduk Moon","Kangbok Lee","Loïc Paulevé"],"reviews":0,"subject":"math.OC","summary":"Boolean networks are dynamical models of disease development in which the activation levels of genes are represented by binary variables. Given a Boolean network, controls represent mutations or medical treatments that fix the activation levels of selected genes so that all states in every attractor (i.e., long-term recurrent states) satisfy a desired phenotype. Our goal is to enumerate all minimal controls, identifying critical gene subsets in disease development and therapy. This problem has an inherent bilevel integer programming structure and is computationally challenging. We propose an…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-01","reactions":{}}