Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements

Bibliographic citation G. Audemard, P. Bertoli, A. Cimatti, A. Kornilowicz, R. Sebastiani, "Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements" in Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, Berlin: Springer Verlag, 2002, p. 231-245 -(Lecture notes in Artificial Intelligence; 2385). - ISBN: 3540438653. Proceedings of: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Marseille, 2002

Detail