Login / Signup
Axiomatic Constraint Systems for Proof Search Modulo Theories.
Damien Rouhling
Mahfuza Farooque
Stéphane Graham-Lengrand
Assia Mahboubi
Jean-Marc Notin
Published in:
FroCos (2015)
Keyphrases
</>
expert systems
genetic algorithm
proof search