The following pages link to (Q5715700):
Displaying 13 items.
- Applying ad-hoc global constraints with the case constraint to still-life (Q850462) (← links)
- Mendelian error detection in complex pedigrees using weighted constraint satisfaction tech\-niques (Q941662) (← links)
- A complete solution to the maximum density still life problem (Q1761276) (← links)
- A logic-algebraic tool for reasoning with knowledge-based systems (Q1994361) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- A model of three-way decisions for knowledge harnessing (Q2310297) (← links)
- Partition search for non-binary constraint satisfaction (Q2372239) (← links)
- A logical approach to efficient Max-SAT solving (Q2389619) (← links)
- Domain permutation reduction for constraint satisfaction problems (Q2389649) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- Peridynamic differential operator and its applications (Q2417719) (← links)
- Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
- When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710) (← links)
