The following pages link to Jussi Rintanen (Q359983):
Displaying 16 items.
- Planning as satisfiability: heuristics (Q359984) (← links)
- Learning discrete decomposable graphical models via constraint optimization (Q517387) (← links)
- Lexicographic priorities in default logic (Q1277698) (← links)
- Planning as satisfiability: parallel plans and algorithms for plan search (Q2457605) (← links)
- SAT Modulo Graphs: Acyclicity (Q2938490) (← links)
- Constraint-Based Algorithm for Computing Temporal Invariants (Q2938537) (← links)
- Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae (Q2996176) (← links)
- Declarative encodings of acyclicity properties (Q3304093) (← links)
- (Q3455599) (← links)
- (Q4230718) (← links)
- (Q4252522) (← links)
- On the impact of stratification on the complexity of nonmonotonic reasoning (Q4317728) (← links)
- (Q4537441) (← links)
- (Q5282991) (← links)
- Logics in Artificial Intelligence (Q5394133) (← links)
- Planning with partial observability by SAT (Q6545568) (← links)
