| ||||
| ||||
![]() Title:On the use of solvers with docker technology Authors:Daniel Le Berre Conference:POS-18 Tags:docker, SAT and solvers Abstract: A convenient way to deploy services on a computer is to use a lightweight virtualization approach like docker. This talk presents some observations regarding the use of such technology to deploy solvers. On the use of solvers with docker technology ![]() On the use of solvers with docker technology | ||||
Copyright © 2002 – 2025 EasyChair |