title: Application of Max-SAT-based ATPG to optimal cancer therapy design.
abstract: BACKGROUND
  Cancer and other gene related diseases are usually caused by a failure in the signaling pathway between genes and cells. These failures can occur in different areas of the gene regulatory network, but can be abstracted as faults in the regulatory function. For effective cancer treatment, it is imperative to identify faults and select appropriate drugs to treat the faults. In this paper, we present an extensible Max-SAT based automatic test pattern generation (ATPG) algorithm for cancer therapy. This ATPG algorithm is based on Boolean Satisfiability (SAT) and utilizes the stuck-at fault model for representing signaling faults. A weighted partial Max-SAT formulation is used to enable efficient selection of the most effective drug.
  
  
  RESULTS
  Several usage cases are presented for fault identification and drug selection. These cases include the identification of testable faults, optimal drug selection for single/multiple known faults, and optimal drug selection for overall fault coverage. Experimental results on growth factor (GF) signaling pathways demonstrate that our algorithm is flexible, and can yield an exact solution for each feature in much less than 1 second.
authors.affiliation: Department of ECE, Texas A&M University, College Station, TX 77843, USA.
authors.forename: Pey-Chang Kent
authors.initials: PC
authors.lastname: Lin
authors.forename: Sunil P
authors.initials: SP
authors.lastname: Khatri
mesh_terms: D000465:Algorithms; D015195:Drug Design; D006801:Humans; D036341:Intercellular Signaling Peptides and Proteins / Q000378:metabolism; D008954:Models, Biological; D009369:Neoplasms / Q000378:metabolism / Q000628:therapy*; D015398:Signal Transduction
chemical_list: D036341:Intercellular Signaling Peptides and Proteins