4 papers:
LATA-2015-DennunzioFMP #problem- Preimage Problems for Reaction Systems (AD, EF, LM, AEP), pp. 537–548.
ICPR-2012-Largeteau-SkapinZASK #set- Optimal consensus set and preimage of 4-connected circles in a noisy environment (GLS, RZ, EA, AS, YK), pp. 3774–3777.
DATE-v1-2004-LiHS #novel #performance #satisfiability- A Novel SAT All-Solutions Solver for Efficient Preimage Computation (BL, MSH, SS), pp. 272–279.
- DATE-2003-ShengH #novel #performance #using
- Efficient Preimage Computation Using A Novel Success-Driven ATPG (SS, MSH), pp. 10822–10827.
