Pages that link to "Item:Q1332641"
From MaRDI portal
The following pages link to Tractability through symmetries in propositional calculus (Q1332641):
Displayed 5 items.
- Tractability of cut-free Gentzen type propositional calculus with permutation inference (Q672046) (← links)
- Predicting and detecting symmetries in FOL finite model search (Q861703) (← links)
- Symmetric blocking (Q897931) (← links)
- Homomorphisms of conjunctive normal forms. (Q1408387) (← links)
- Local Symmetry Breaking During Search in CSPs (Q3523057) (← links)