| 
-  How far can we get without domain-dependent knowledge? 
 
-  Two trivial problems of size 24*43=1,032 and 24*23*42=23,184 
 
-  Blackbox 3.3 takes 3 and 90 seconds 
 
-  State-of-the-art domain-independent tools are insufficient
	for moderately complex problems 
 
-  Domain-dependent knowledge is needed 
 
 
 | 
 
 |