On the use of solvers with docker technology

EasyChair Smart Slide

Home

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

1

2

3

4

5

6

7

8

9

10

1of10

1

2

3

4

Copyright © 2002 – 2024 EasyChair

On the use of solvers with docker technology

1

2

3

4

5

6

7

8

9

10

1of10