Original language | English |
---|---|
Publication status | Published - 2004 |
MoE publication type | I2 ICT applications |
Keywords
- branch and bound search
- disjunctive logic programs
- intelligent backtracking
- stable model semantics
Tomi Janhunen
Research output: Artistic and non-textual form › Software › Scientific
Original language | English |
---|---|
Publication status | Published - 2004 |
MoE publication type | I2 ICT applications |