Cited By
View all- Amaru LGaillardon PBurg ADe Micheli G(2014)Data compression via logic synthesis2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)10.1109/ASPDAC.2014.6742961(628-633)Online publication date: Jan-2014
- Lin PKhatri SLin PKhatri S(2013)Determining Gene Function in Boolean Networks using SATLogic Synthesis for Genetic Diseases10.1007/978-1-4614-9429-4_3(39-51)Online publication date: 1-Nov-2013
- Lin PKhatri SLin PKhatri S(2013)Predictor Set Inference using SATLogic Synthesis for Genetic Diseases10.1007/978-1-4614-9429-4_2(25-38)Online publication date: 1-Nov-2013
- Show More Cited By