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

Publishing Date:
02
2007
Journal: 
Logical Methods in Computer Science (LMCS)
Volume: 
3
Number: 
1:6
Pages: 
1-41
Link: 

We are hiring!

Check out our researcher job positions at https://www.sti-innsbruck.at/about/jobs