Reasoning by Symmetry and Function Ordering in Finite Model Generation.

Gilles Audemard, Belaid Benhamou

Browse the full CADE paper archive.