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.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Conceptual Limitations;Technik im Fokus;2024
2. Konzeptionelle Grenzen;Grenzen der KI – theoretisch, praktisch, ethisch;2022
3. The Intensional Structure of Epistemic Convictions;Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops;2021