Specification and Automatic Verification of Computational Reductions.

Julien Grange Fabian Vehlken Nils Vortmeier Thomas Zeume

Published in: MFCS (2024)

Keyphrases

high level
database
formal specification
databases
three dimensional
face recognition
wide range
relational databases
mathematical programming
asynchronous circuits