Author:
Bischoff Daniel,Küchlin Wolfgang,Kopp Oliver
Publisher
Springer Nature Switzerland
Reference15 articles.
1. Amilhastre, J., Fargier, H., Marquis, P.: Consistency restoration and explanations in dynamic CSPS-application to configuration. Artif. Intell. 135(1–2), 199–234 (2002)
2. Astesana, J.M., Cosserat, L., Fargier, H.: Constraint-based vehicle configuration: a case study. In: ICTAI. IEEE (2010)
3. Berndt, R., Bazan, P., Hielscher, K.S.: MDD-based verification of car manufacturing data. In: CIMSIM. IEEE (2011). https://doi.org/10.1109/CIMSim.2011.40
4. Bischoff, D., Küchlin, W.: Adapting binary decision diagrams for visualizing product configuration data. In: Eibl, M., Gaedke, M. (eds.) INFORMATIK 2017. GI e.V. (2017). https://doi.org/10.18420/in2017_149
5. Eén, N., Sörensson, N.: Translating pseudo-boolean constraints into sat. J. Satisfiability Boolean Model. Comput. 2(1–4), 1–26 (2006)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Handling Automotive Hardware/Software Co-Configurations with Integer Difference Logic;Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems;2024-02-07