arrow
返回
M

Michael Nieke

Braunschweig University of Technology

11H指数
31论文数
372被引数
收录论文 1
发表时间
Evaluating state-of-the-art # SAT solvers on industrial configuration spaces
err2023-01-13
err13
errOAAI
errSundermann, Chico; Hess, Tobias; Nieke, Michael; Bittner, Paul Maximilian; Young, Jeffrey M.; Thuem, Thomas; Schaefer, Ina
err分享
err收藏