Pages that link to "Item:Q2786908"

The following pages link to Compactly generating all satisfying truth assignments of a Horn formula (Q2786908):

Displaying 3 items.

• Counting or producing all fixed cardinality transversals (Q472469) (← links)
• The joy of implications, aka pure Horn formulas: mainly a survey (Q507516) (← links)
• Compressed representation of learning spaces (Q1679036) (← links)