Publisher
Springer Fachmedien Wiesbaden
Reference27 articles.
1. Astesana, Jean Marc, Laurent Cosserat, und Hélène Fargier. 2010a. Constraint-based modeling and exploitation of a vehicle range at Renault’s: Requirements analysis and complexity study. In Proceedings of the ECAI 2010 configuration workshop, 33–39. Lissabon.
2. Astesana, Jean Marc, Laurent Cosserat, und Hélène Fargier. 2010b. Constraint-based vehicle configuration: A case study. Proceedings of the 2010 IEEE International Conference on Tools with Artificial Intelligence (ICTAI) 01:68–75. Arras.
3. Biere, Armin, Marijn Heule, Hans van Maaren, und Toby Walsh, Hrsg. 2009. Handbook of satisfiability. Amsterdam: IOS Press.
4. Davis, Martin, und Hilary Putnam. 1960. A computing procedure for quantification theory. J.ACM 7(3): 201–215.
5. Davis, Martin, George Logemann, und Donald Loveland. 1962. A machine program for theorem proving. Communications of the Association for Computing Machinery 5(7): 394–397.