Pages that link to "Item:Q460617"
From MaRDI portal
The following pages link to Disjunctive closures for knowledge compilation (Q460617):
Displaying 5 items.
- Inference engine based on closure and join operators over truth table binary relations (Q406448) (← links)
- Precise Upper and Lower Bounds for the Monotone Constraint Satisfaction Problem (Q2946352) (← links)
- On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Q5026182) (← links)
- No Efficient Disjunction or Conjunction of Switch-Lists (Q5080958) (← links)
- On the role of logical separability in knowledge compilation (Q6494362) (← links)
