We make the measurability of our R&D results one of our primary tasks. We want to show to the world that semantic technologies are becoming reality. Find out more about our results and our spin-off companies.
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-based Planning
Journal:
Logical Methods in Computer Science (LMCS)
Volume:
3
Number:
1:6
Pages:
1-41
Contact person in charge.