About this Engineering article
What We Can Learn from Conflicts in Propositional Satisfiability by Hamadi, Youssef; Jabbour, Saïd; Saïs, Lakhdar is a Engineering article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Engineering.
- Author
- Hamadi, Youssef; Jabbour, Saïd; Saïs, Lakhdar
- Publisher
- Springer US; Springer-Verlag; Kluwer Academic Publishers; Springer Science and Business Media LLC; Society for Mining, Metallurgy and Exploration Inc. (ISSN 0254-5330)
- Published
- 2016
- Language
- EN
- Field
- Engineering (Social Sciences)