Author:
Ehlers Rüdiger,Lange Martin
Publisher
Springer International Publishing
Reference15 articles.
1. Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)
2. Lecture Notes in Computer Science;R. Axelsson,2008
3. Biere, A.: Picosat essentials. JSAT 4(2-4), 75–97 (2008)
4. Bresolin, D., Jiménez, F., Sánchez, G., Sciavicco, G.: Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms. In: FOGA 2013, pp. 25–36. ACM (2013)
5. Lecture Notes in Computer Science;D. Bresolin,2013