The following pages link to (Q4230753):
Displaying 7 items.
- Weak, strong, and strong cyclic planning via symbolic model checking (Q814470) (← links)
- Conformant planning via symbolic model checking and heuristic search (Q814631) (← links)
- Undoing the effects of action sequences (Q946576) (← links)
- Fuzzy description logics under Gödel semantics (Q962867) (← links)
- Proofs as schemas and their heuristic use (Q1583854) (← links)
- Cut-and-solve: An iterative search strategy for combinatorial optimization problems (Q2457618) (← links)
- Solving projected model counting by utilizing treewidth and its limits (Q2680775) (← links)
