« View Structure ?

« Select Colors Select?

Name        

From ≠∧∨¬→∃∀  Find

∀ x,y ((&x = 1 ∨ &y = 1) <-> E(x, y))

To ≠∧∨¬→∃∀  Find

∀ x,y ((&x = 1 ∨ &y = 1) <-> ¬E(x, y))

Parameters conjunctions:   dimension:

  min elements:     elements:

Atoms equality   min   max   successor

Export nqdimacs  qdimacs  lparse  qpro

Reduction ≠∧∨¬→∃∀  Check Find

E(x, y) = ¬E(x, y)

Saved Reductions

• Nothing here yet

Example Classes

• No-Star Graph From  To
• Non-Stop Graph From  To
• Reach s-t From  To
• Strongly Connected From  To
• Complete Graph From  To
• Empty Graph From  To
• Reach 0-1 From  To
• Non-Reach 0-1 From  To

• Nothing here yet

Contact