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