Pages that link to "Item:Q5607225"
From MaRDI portal
The following pages link to The decision problem for formulas in prenex conjunctive normal form with binary disjunctions (Q5607225):
Displaying 7 items.
- Disjunctive closures for knowledge compilation (Q460617) (← links)
- Resolution and model building in the infinite-valued calculus of Łukasiewicz (Q1276262) (← links)
- On propositional definability (Q2389643) (← links)
- On biconjunctive reduction classes (Q2557257) (← links)
- Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen (Q4401927) (← links)
- (Q5015271) (← links)
- On the role of logical separability in knowledge compilation (Q6494362) (← links)