Axiomatic constraint systems for proof search modulo theories

Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean Marc Notin

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Fingerprint

Dive into the research topics of 'Axiomatic constraint systems for proof search modulo theories'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science