Author:
Beckert Bernhard,Hähnle Reiner
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Dantzig, George B. 1963. Linear Programming and Extensions. Princeton University Press.
2. Fitting, Melvin C. 1996. First-Order Logic and Automated Theorem Proving. 2nd edn. Springer.
3. Hähnle, Reiner. 1994a. Automated Deduction in Multiple-valued Logics. International Series of Monographs on Computer Science, vol. 10. Oxford University Press.
4. Hähnle, Reiner. 1994b. Many-Valued Logic and Mixed Integer Programming. Annals of Mathematics and Artificial Intelligence, 12(3,4), 231–264.
5. Hähnle, Reiner, & Ibens, Ortrun. 1994. Improving Temporal Logic Tableaux Using Integer Constraints. Pages 535–539 of: Proceedings, International Conference on Temporal Logic, Bonn, Germany. Springer LNCS 827.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献