MaxSAT Evaluation 2018

EasyChair Smart Slide

Home

Title:MaxSAT Evaluation 2018

Authors:Fahiem Bacchus, Matti Järvisalo and Ruben Martins

Conference:SAT 2018

Tags:Evaluation, MaxSAT and Optimization

Abstract:

Results of the 2018 MaxSat Evaluation:
https://maxsat-evaluations.github.io/2018/

MaxSAT Evaluation 2018

MaxSAT Evaluation 2018

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

1of44

1

2

3

4

Copyright © 2002 – 2025 EasyChair