Configurable Satisfiability Propagation for Goal Models Using Dynamic Compilation Techniques
2007 ◽
pp. 167-179
◽
2011 ◽
Vol 2
(1)
◽
pp. 1-23
◽