Login / Signup

Axiomatic Constraint Systems for Proof Search Modulo Theories.

Damien RouhlingMahfuza FarooqueStéphane Graham-LengrandAssia MahboubiJean-Marc Notin
Published in: FroCos (2015)
Keyphrases
  • expert systems
  • genetic algorithm
  • proof search