scientific article; zbMATH DE number 7806142

arXiv2211.12229MaRDI QIDQ6197214

Hossein Hojjat, Philipp Rümmer

Publication date: 16 February 2024

Full work available at URL: https://arxiv.org/abs/2211.12229

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mathematical programming (90Cxx) Calculus of variations and optimal control; optimization (49-XX)

Cites Work

• Unnamed Item
• Guiding Craig interpolation with domain-specific abstractions
• Maximal specification synthesis
• Horn Clause Solvers for Program Verification

This page was built for publication: