The DLS algorithm

Circumscription.


Formula:

Predicates to be minimized (separate with commas):

Predicates to be varied (separate with commas):

Generate all solutions and choose the shortest (default = no)
Generate the output unformated (default = no)


Example of a filled in form
Main page | DLS page | NAT page | Syntax