Faulty Interaction Identification via Constraint Solving and Optimization
From MaRDI portal
Publication:2843330
DOI10.1007/978-3-642-31612-8_15zbMath1273.68367OpenAlexW2134838216MaRDI QIDQ2843330
Jian Zhang, Feifei Ma, Zhi-Qiang Zhang
Publication date: 12 August 2013
Published in: Theory and Applications of Satisfiability Testing – SAT 2012 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31612-8_15
Uses Software