qSS
Submitter: | Horst Samulowitz | ||
Description: | Among only the three solvers SQBF, Skizzo, and Quantor this approach tries to predict the best one on a per instance basis. | ||
Results: | |||
Submitter: | Horst Samulowitz | ||
Description: | Among only the three solvers SQBF, Skizzo, and Quantor this approach tries to predict the best one on a per instance basis. | ||
Results: | |||