Yao Qi, Raja Das, et al.
ISSTA 2009
Paper
Improper Solutions under Existence Assumptions: An Example
Abstract
No abstract available.
Related
Anupam Gupta, Viswanath Nagarajan, et al.
Operations Research
Fan Jing Meng, Ying Huang, et al.
ICEBE 2007
Paper
The Qx-coder
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev