Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation
Keyword(s):
Keyword(s):
1983 ◽
Vol 48
(10)
◽
pp. 2862-2873
◽