scientific article; zbMATH DE number 7364141
From MaRDI portal
Publication:4997236
zbMath1464.68208arXiv1412.1154MaRDI QIDQ4997236
John P. Gallagher, Bishoksan Kafle
Publication date: 28 June 2021
Full work available at URL: https://arxiv.org/abs/1412.1154
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Polyhedral combinatorics, branch-and-bound, branch-and-cut (90C57) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Horn Clause Solvers for Program Verification ⋮ On recursion-free Horn clauses and Craig interpolation
This page was built for publication: