SCAN

Circumscription Form

This form is the remote program execution form for computing first-order circumscription. You can specify a circumscription problem, send it to a server at the Max-Planck Institute, which invokes the SCAN algorithm, computes the answer and sends the result back to you immediately.

Your email address (mandatory) :

Predicates to be minimized (separated by ',') :

Predicates to be varied (separated by ',') :

Database (point separated formulae in Otter syntax) :

General Control Parameters
print resolvents (default = no)
seconds maximal CPU time (maximum: 10)
seconds for checking redundancy of resolvents (1 should do)
seconds for minimizing result (per clause) (1 should do)