Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

"Evaluating state-of-the-art # SAT solvers on industrial configuration spaces."

Chico Sundermann et al. (2023)

Details and statistics

DOI: 10.1007/S10664-022-10265-9

access: open

type: Journal Article

metadata version: 2023-02-28