Application of Max-SAT-based ATPG to optimal cancer therapy design

BMC Genomics

Table 1 Drug selection for single stuck-at faults

Net	s-a	Faulty PO	Best PO	Drug Vector	Score
1	1	1111111	0000000	010000	85
2	1	1111111	0000000	100000	85
3	1	1111111	0000000	001000	85
4	1	1111111	0000000	010000	85
5	1	1111111	0000000	000110	84
6	1	0000111	0000000	000110	84
7	1	0000111	0000111	000000	56
8	1	1111111	0000000	000010	85
9	1	0000111	0000000	000010	85
10	1	0000111	0000111	000000	56
11	1	0000111	0000111	000000	56
12	1	0000111	0000111	000000	56
16	1	0111110	0000000	000100	85
17	1	0111110	0000000	000100	85
18	1	0111110	0111110	000000	36
19	0	0000001	0000001	000000	76
20	0	0000110	0000000	000001	85
21	1	0000110	0000000	000001	85
22	1	0000110	0000000	000001	85
23	1	0000110	0000110	000000	66
24	0	0000110	0000110	000000	66

Each row in the table corresponds to a single fault, located by the net number and the type of fault (stuck-at-1 or stuck-at-0). The primary output [FOS - JUN,SP 1,SRF - ELK 1,SRF - ELK 4,BCL 2,BCL 2L 1,CCND 1] shown is the expression value where 1 means the gene is expressed, while 0 means the gene is not expressed. The drug vector [lapatinib,AG 825,AG 1024,U 0126,LY 249002,Temsirolimus] indicates the drug selection where 1 means the drug is selected, while 0 means the drug is not used.

ISSN: 1471-2164