Integrating Simplex with Tableaux
From MaRDI portal
Publication:3455763
DOI10.1007/978-3-319-24312-2_7zbMath1471.68304MaRDI QIDQ3455763
David Delahaye, Guillaume Bury
Publication date: 11 December 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://hal-mines-paristech.archives-ouvertes.fr/hal-01215490/file/zen-ari.pdf
tableaux; linear arithmetic; branch-and-bound method; Coq; proof checking; Zenon; general simplex algorithm
03B35: Mechanization of proofs and logical operations
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Uses Software