Max-SAT Evaluation 2010 Josep Argelich 1 Chu Min Li 2 Felip Many 3 - - PowerPoint PPT Presentation

▶
max sat evaluation 2010
SMART_READER_LITE
LIVE PREVIEW

Max-SAT Evaluation 2010 Josep Argelich 1 Chu Min Li 2 Felip Many 3 - - PowerPoint PPT Presentation

Jun 20, 2023 346 likes •771 views

Max-SAT Evaluation 2010 Josep Argelich 1 Chu Min Li 2 Felip Many 3 Jordi Planes 1 1 Universitat de Lleida 2 Universit de Picardie 3 IIIA-CSIC SAT 2010 July 11-14th, Edinburgh, Scotland Intro Structure Results Outline Introduction 1

slide-1
SLIDE 1

Max-SAT Evaluation 2010

Josep Argelich1 Chu Min Li2 Felip Manyà3 Jordi Planes1

1Universitat de Lleida 2Université de Picardie 3IIIA-CSIC

SAT 2010 July 11-14th, Edinburgh, Scotland

slide-2
SLIDE 2

Intro Structure Results

Outline

1

Introduction

2

Evaluation structure

3

Results

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 2 / 42

slide-3
SLIDE 3

Intro Structure Results

Outline

1

Introduction

2

Evaluation structure

3

Results

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 3 / 42

slide-4
SLIDE 4

Intro Structure Results

Objectives

Evaluate the performance of existing solvers Identify challenging benchmarks Identify successful solving techniques Stimulate researchers to improve their solvers and to submit new challenging benchmarks Gain new insights for future evaluations

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 4 / 42

slide-5
SLIDE 5

Intro Structure Results Categories Solvers Environment

Outline

1

Introduction

2

Evaluation structure Categories Solvers Evaluation Environment

3

Results

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 5 / 42

slide-6
SLIDE 6

Intro Structure Results Categories Solvers Environment

Categories 1/2

Max-SAT

Random (300 instances) Crafted (167 instances) Industrial (77 instances)

Weighted Max-SAT

Random (200 instances, contributed by Adrian Kuegel) Crafted (149 instances) Industrial (0 instances)

The integer limit has been incremented from 231 to 263

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 6 / 42

slide-7
SLIDE 7

Intro Structure Results Categories Solvers Environment

Categories 2/2

Partial Max-SAT

Random (240 instances) Crafted (385 instances) Industrial (497 instances)

Weighted Partial Max-SAT

Random (150 instances) Crafted (378 instances) Industrial (132 instances, contributed by R. J. Asín)

The integer limit has been incremented from 231 to 263

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 7 / 42

slide-8
SLIDE 8

Intro Structure Results Categories Solvers Environment

Solvers

akmaxsat and akmaxsat_ls (Adrian Kuegel) SAT4J MAXSAT 2.2.0 (Daniel Le Berre) QMaxSAT (Miyuki Koshimura, Tong Zhang) IncMaxSatz (Han Lin, Kaile Su, Chu Min Li) IncWMaxSatz (H. Lin, K. Su, C. M. Li, J. Argelich) Maxsat_Power and WMaxsat_Power (A. Bahrami, S. R. Mousavi, M. Farshchian) LS_Power and LSW_Power (A. Bahrami, S. R. Mousavi,

  • M. Farshchian)

wbo 1.4a and wbo 1.4b (V. Manquinho, J. Marques-Silva,

  • J. Planes)

PM2, WPM1 and WPM2 (C. Ansótegui, M. L. Bonet, J. Levy) WMaxSatz-2009 and WMaxSatz+ (C. M. Li, F. Manya, J. Argelich)

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 8 / 42

slide-9
SLIDE 9

Intro Structure Results Categories Solvers Environment

Evaluation Environment

Web page: Re-designed and developed by F. Guitart Cluster specification: Operating System: Rocks Cluster 5.2.0 Linux 2.6.18 Processor: AMD Opteron 248 Processor, 2 GHz Memory: 512 MB Cache: 1024 KB Compilers: GCC 3.4.3, javac JDK 1.6.0

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 9 / 42

slide-10
SLIDE 10

Intro Structure Results Categories Solvers Environment

Evaluation Environment

Resources: 512MB of memory Timeout of 1800 seconds Ranking:

1

Number of solved instances

2

Time needed to solve those instances

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 10 / 42

slide-11
SLIDE 11

Intro Structure Results MS WMS PMS WPMS

Outline

1

Introduction

2

Evaluation structure

3

Results Max-SAT Weighted Max-SAT Partial Max-SAT Weighted Partial Max-SAT

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 11 / 42

slide-12
SLIDE 12

Intro Structure Results MS WMS PMS WPMS

Max-SAT category (Solvers)

akmaxsat and akmaxsat_ls SAT4J MAXSAT 2.2.0 IncMaxSatz Maxsat_Power LS_Power wbo 1.4a PM2 and WPM1 WMaxSatz-2009 and WMaxSatz+

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 12 / 42

slide-13
SLIDE 13

Intro Structure Results MS WMS PMS WPMS

Max-SAT category (Benchmarks)

Random Random Max-2-SAT Random Max-3-SAT Random Highgirth Crafted Max-Cut Bipartite Max-Cut Industrial Circuit Debugging Problems

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 13 / 42

slide-14
SLIDE 14

Intro Structure Results MS WMS PMS WPMS

Max-SAT category (Random)

Rank Solver # Solved (300) Total time 1 akmaxsat_ls 216 61620.59 2 Maxsat_Power 208 56371.84 3 LS_Power 205 73651.22 4 akmaxsat 203 71956.42 5 IncMaxSatz 193 90861.21 6 WMaxSatz+ 188 83723.59 7 WMaxSatz-2009 188 83932.80 8 PM2 1 272.94 9 SAT4J-MAXSAT-2.2.0 0.00 10 WPM1 0.00 11 wbo-1.4a 0.00

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 14 / 42

slide-15
SLIDE 15

Intro Structure Results MS WMS PMS WPMS

Max-SAT category (Random)

200 400 600 800 1000 1200 1400 1600 1800 50 100 150 200 CPU time in seconds Number of instances Number x of instances solved in y seconds akmaxsat_ls Maxsat_Power LS_Power akmaxsat IncMaxSatz WMaxSatz+ WMaxSatz-2009 PM2 SAT4J-MAXSAT-2.2.0 WPM1 wbo-1.4a

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 15 / 42

slide-16
SLIDE 16

Intro Structure Results MS WMS PMS WPMS

Max-SAT category (Crafted)

Rank Solver # Solved (167) Total time 1 Maxsat_Power 155 19614.63 2 akmaxsat_ls 155 20172.95 3 LS_Power 155 23242.63 4 akmaxsat 155 25783.10 5 IncMaxSatz 155 41408.08 6 WMaxSatz-2009 154 51917.66 7 WMaxSatz+ 154 56582.94 8 PM2 12 2237.35 9 WPM1 6 0.75 10 wbo-1.4a 6 30.60 11 SAT4J-MAXSAT-2.2.0 3 48.62

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 16 / 42

slide-17
SLIDE 17

Intro Structure Results MS WMS PMS WPMS

Max-SAT category (Crafted)

200 400 600 800 1000 1200 1400 1600 1800 20 40 60 80 100 120 140 CPU time in seconds Number of instances Number x of instances solved in y seconds Maxsat_Power akmaxsat_ls LS_Power akmaxsat IncMaxSatz WMaxSatz-2009 WMaxSatz+ PM2 WPM1 wbo-1.4a SAT4J-MAXSAT-2.2.0

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 17 / 42

slide-18
SLIDE 18

Intro Structure Results MS WMS PMS WPMS

Max-SAT category (Industrial)

Rank Solver # Solved (77) Total time 1 wbo-1.4a 46 11632.72 2 WPM1 35 3141.85 3 PM2 33 3245.24 4 SAT4J-MAXSAT-2.2.0 4 53.58 5 IncMaxSatz 0.00 6 LS_Power 0.00 7 Maxsat_Power 0.00 8 WMaxSatz+ 0.00 9 WMaxSatz-2009 0.00 10 akmaxsat 0.00 11 akmaxsat_ls 0.00

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 18 / 42

slide-19
SLIDE 19

Intro Structure Results MS WMS PMS WPMS

Max-SAT category (Industrial)

200 400 600 800 1000 1200 1400 1600 1800 5 10 15 20 25 30 35 40 45 CPU time in seconds Number of instances Number x of instances solved in y seconds wbo-1.4a WPM1 PM2 SAT4J-MAXSAT-2.2.0 IncMaxSatz LS_Power Maxsat_Power WMaxSatz+ WMaxSatz-2009 akmaxsat akmaxsat_ls

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 19 / 42

slide-20
SLIDE 20

Intro Structure Results MS WMS PMS WPMS

Weighted Max-SAT category (Solvers)

akmaxsat and akmaxsat_ls SAT4J MAXSAT 2.2.0 IncWMaxSatz WMaxsat_Power LSW_Power wbo 1.4a WPM1 and WPM2 WMaxSatz-2009 and WMaxSatz+

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 20 / 42

slide-21
SLIDE 21

Intro Structure Results MS WMS PMS WPMS

Weighted Max-SAT category (Benchmarks)

Random Random Weighted Max-2-SAT Random Weighted Max-3-SAT Crafted FRB Weighted Max-Cut Ramsey

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 21 / 42

slide-22
SLIDE 22

Intro Structure Results MS WMS PMS WPMS

Weighted Max-SAT category (Random)

Rank Solver # Solved (200) Total time 1 akmaxsat_ls 200 15828.80 2 akmaxsat 200 23883.88 3 WMaxSatz+ 192 53405.00 4 WMaxSatz-2009 192 54374.22 5 IncWMaxSatz 176 55503.68 6 SAT4J-MAXSAT-2.2.0 20 2836.41 7 WPM2 18 1135.59 8 WMaxsat_Power 17 2.10 9 LSW_Power 14 1.95 10 wbo-1.4a 12 16.55 11 WPM1 12 155.03

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 22 / 42

slide-23
SLIDE 23

Intro Structure Results MS WMS PMS WPMS

Weighted Max-SAT category (Random)

200 400 600 800 1000 1200 1400 1600 1800 50 100 150 200 CPU time in seconds Number of instances Number x of instances solved in y seconds akmaxsat_ls akmaxsat WMaxSatz+ WMaxSatz-2009 IncWMaxSatz SAT4J-MAXSAT-2.2.0 WPM2 WMaxsat_Power LSW_Power wbo-1.4a-wcnf WPM1

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 23 / 42

slide-24
SLIDE 24

Intro Structure Results MS WMS PMS WPMS

Weighted Max-SAT category (Crafted)

Rank Solver # Solved (149) Total time 1 akmaxsat_ls 114 9253.35 2 akmaxsat 113 9208.90 3 IncWMaxSatz 109 5174.97 4 WMaxSatz+ 103 4590.12 5 WMaxSatz-2009 103 4637.44 6 WPM2 53 2253.93 7 WMaxsat_Power 48 4.05 8 LSW_Power 47 3.56 9 SAT4J-MAXSAT-2.2.0 44 734.81 10 wbo-1.4a 42 565.64 11 WPM1 38 1.94

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 24 / 42

slide-25
SLIDE 25

Intro Structure Results MS WMS PMS WPMS

Weighted Max-SAT category (Crafted)

200 400 600 800 1000 1200 1400 1600 1800 20 40 60 80 100 CPU time in seconds Number of instances Number x of instances solved in y seconds akmaxsat_ls akmaxsat IncWMaxSatz WMaxSatz+ WMaxSatz-2009 WPM2 WMaxsat_Power LSW_Power SAT4J-MAXSAT-2.2.0 wbo-1.4a-wcnf WPM1

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 25 / 42

slide-26
SLIDE 26

Intro Structure Results MS WMS PMS WPMS

Partial Max-SAT category (Solvers)

akmaxsat and akmaxsat_ls SAT4J MAXSAT 2.2.0 QMaxSAT IncWMaxSatz WMaxsat_Power LSW_Power wbo 1.4a and wbo 1.4b PM2 and WPM1 WMaxSatz-2009 and WMaxSatz+

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 26 / 42

slide-27
SLIDE 27

Intro Structure Results MS WMS PMS WPMS

Partial Max-SAT category (Benchmarks)

Random Random Partial Max-2-SAT and Max-3-SAT Random Min-2-SAT and Min-3-SAT Crafted FRB, Job Shop Max-Clique, Max-One Minimal Encodings PB miplib Industrial Circuit Trace Compaction Haplotype Assembly BCP , PBO Protein

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 27 / 42

slide-28
SLIDE 28

Intro Structure Results MS WMS PMS WPMS

Partial Max-SAT category (Random)

Rank Solver # Solved (240) Total time 1 IncWMaxSatz 205 50494.05 2 WMaxSatz-2009 191 44061.89 3 WMaxSatz+ 190 45490.82 4 akmaxsat_ls 149 23937.20 5 akmaxsat 148 22315.56 6 QMaxSat 31 4011.76 7 SAT4J-MAXSAT-2.2.0 31 4954.78 8 PM2 29 557.82 9 wbo-1.4a 26 835.82 10 WMaxsat_Power 25 2.56 11 WPM1 25 366.22 12 wbo-1.4b 23 1937.41 13 LSW_Power 19 1.08

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 28 / 42

slide-29
SLIDE 29

Intro Structure Results MS WMS PMS WPMS

Partial Max-SAT category (Random)

200 400 600 800 1000 1200 1400 1600 1800 50 100 150 200 CPU time in seconds Number of instances Number x of instances solved in y seconds IncWMaxSatz WMaxSatz-2009 WMaxSatz+ akmaxsat_ls akmaxsat QMaxSat SAT4J-MAXSAT-2.2.0 PM2 wbo-1.4a-wcnf WMaxsat_Power WPM1 wbo-1.4b-wcnf LSW_Power

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 29 / 42

slide-30
SLIDE 30

Intro Structure Results MS WMS PMS WPMS

Partial Max-SAT category (Crafted)

Rank Solver # Solved (385) Total time 1 IncWMaxSatz 281 21224.66 2 QMaxSat 275 40512.55 3 akmaxsat_ls 270 27570.98 4 akmaxsat 270 28227.85 5 WMaxSatz+ 256 36896.57 6 WMaxSatz-2009 256 36904.74 7 PM2 232 50081.30 8 SAT4J-MAXSAT-2.2.0 230 34948.91 9 wbo-1.4b 207 12385.53 10 WPM1 69 721.16 11 WMaxsat_Power 60 12.51 12 wbo-1.4a 59 938.83 13 LSW_Power 51 9.85

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 30 / 42

slide-31
SLIDE 31

Intro Structure Results MS WMS PMS WPMS

Partial Max-SAT category (Crafted)

200 400 600 800 1000 1200 1400 1600 1800 50 100 150 200 250 CPU time in seconds Number of instances Number x of instances solved in y seconds IncWMaxSatz QMaxSat akmaxsat_ls akmaxsat WMaxSatz+ WMaxSatz-2009 PM2 SAT4J-MAXSAT-2.2.0 wbo-1.4b-wcnf WPM1 WMaxsat_Power wbo-1.4a-wcnf LSW_Power

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 31 / 42

slide-32
SLIDE 32

Intro Structure Results MS WMS PMS WPMS

Partial Max-SAT category (Industrial)

Rank Solver # Solved (497) Total time 1 QMaxSat 343 31715.10 2 PM2 325 58331.10 3 wbo-1.4b 298 43702.20 4 SAT4J-MAXSAT-2.2.0 272 49221.09 5 WPM1 178 13612.23 6 wbo-1.4a 165 13718.03 7 IncWMaxSatz 144 45952.50 8 WMaxSatz+ 121 53284.35 9 WMaxSatz-2009 119 50250.58 10 akmaxsat 68 6614.64 11 akmaxsat_ls 59 6367.70 12 WMaxsat_Power 18 1.71 13 LSW_Power 13 0.91

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 32 / 42

slide-33
SLIDE 33

Intro Structure Results MS WMS PMS WPMS

Partial Max-SAT category (Industrial)

200 400 600 800 1000 1200 1400 1600 1800 50 100 150 200 250 300 CPU time in seconds Number of instances Number x of instances solved in y seconds QMaxSat PM2 wbo-1.4b-wcnf SAT4J-MAXSAT-2.2.0 WPM1 wbo-1.4a-wcnf IncWMaxSatz WMaxSatz+ WMaxSatz-2009 akmaxsat akmaxsat_ls WMaxsat_Power LSW_Power

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 33 / 42

slide-34
SLIDE 34

Intro Structure Results MS WMS PMS WPMS

Weighted Partial Max-SAT category (Solvers)

akmaxsat and akmaxsat_ls SAT4J MAXSAT 2.2.0 IncWMaxSatz WMaxsat_Power LSW_Power wbo 1.4a and wbo 1.4b WPM1 and WPM2 WMaxSatz-2009 and WMaxSatz+

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 34 / 42

slide-35
SLIDE 35

Intro Structure Results MS WMS PMS WPMS

Weighted Partial Max-SAT category (Benchmarks)

Random Random Weighted Partial Max-2-SAT and Max-3-SAT Crafted Random Networks Auctions PB miplib Weighted CSP Minimal Encodings Industrial Upgradeability Problem Timetabling

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 35 / 42

slide-36
SLIDE 36

Intro Structure Results MS WMS PMS WPMS

Weighted Partial Max-SAT category (Random)

Rank Solver # Solved (150) Total time 1 akmaxsat_ls 150 2931.73 2 akmaxsat 150 5325.69 3 WMaxSatz-2009 150 6732.18 4 WMaxSatz+ 150 6737.04 5 IncWMaxSatz 149 10994.98 6 SAT4J-MAXSAT-2.2.0 32 836.85 7 WMaxsat_Power 31 2.84 8 WPM2 30 327.80 9 wbo-1.4b 29 4755.64 10 wbo-1.4a 27 924.06 11 WPM1 25 59.27 12 LSW_Power 14 1.30

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 36 / 42

slide-37
SLIDE 37

Intro Structure Results MS WMS PMS WPMS

Weighted Partial Max-SAT category (Random)

200 400 600 800 1000 1200 1400 1600 1800 20 40 60 80 100 120 140 CPU time in seconds Number of instances Number x of instances solved in y seconds akmaxsat_ls akmaxsat WMaxSatz-2009 WMaxSatz+ IncWMaxSatz SAT4J-MAXSAT-2.2.0 WMaxsat_Power WPM2 wbo-1.4b-wcnf wbo-1.4a-wcnf WPM1 LSW_Power

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 37 / 42

slide-38
SLIDE 38

Intro Structure Results MS WMS PMS WPMS

Weighted Partial Max-SAT category (Crafted)

Rank Solver # Solved (378) Total time 1 akmaxsat_ls 230 33380.89 2 akmaxsat 228 29926.57 3 IncWMaxSatz 214 14842.38 4 WMaxSatz+ 207 25223.74 5 WMaxSatz-2009 207 25383.29 6 SAT4J-MAXSAT-2.2.0 168 29309.99 7 wbo-1.4b 132 14308.21 8 wbo-1.4a 88 1539.22 9 WPM1 80 8031.66 10 WPM2 62 11576.82 11 WMaxsat_Power 41 6.56 12 LSW_Power 31 4.70

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 38 / 42

slide-39
SLIDE 39

Intro Structure Results MS WMS PMS WPMS

Weighted Partial Max-SAT category (Crafted)

200 400 600 800 1000 1200 1400 1600 1800 50 100 150 200 CPU time in seconds Number of instances Number x of instances solved in y seconds akmaxsat_ls akmaxsat IncWMaxSatz WMaxSatz+ WMaxSatz-2009 SAT4J-MAXSAT-2.2.0 wbo-1.4b-wcnf wbo-1.4a-wcnf WPM1 WPM2 WMaxsat_Power LSW_Power

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 39 / 42

slide-40
SLIDE 40

Intro Structure Results MS WMS PMS WPMS

Weighted Partial Max-SAT category (Industrial)

Rank Solver # Solved (132) Total time 1 wbo-1.4a 107 16430.32 2 IncWMaxSatz 88 12940.69 3 WPM2 59 47778.67 4 WPM1 58 14409.93 5 SAT4J-MAXSAT-2.2.0 28 6725.52 6 akmaxsat 14 11914.41 7 akmaxsat_ls 14 15027.78 8 LSW_Power 0.00 9 WMaxSatz+ 0.00 10 WMaxSatz-2009 0.00 11 WMaxsat_Power 0.00

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 40 / 42

slide-41
SLIDE 41

Intro Structure Results MS WMS PMS WPMS

Weighted Partial Max-SAT category (Industrial)

200 400 600 800 1000 1200 1400 1600 1800 20 40 60 80 100 CPU time in seconds Number of instances Number x of instances solved in y seconds wbo-1.4a-wcnf IncWMaxSatz WPM2 WPM1 SAT4J-MAXSAT-2.2.0 akmaxsat akmaxsat_ls LSW_Power WMaxSatz+ WMaxSatz-2009 WMaxsat_Power

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 41 / 42

slide-42
SLIDE 42

Intro Structure Results MS WMS PMS WPMS

Thanks

Thanks to the people that contributed solvers and benchmarks, and to the Universitat de Lleida for allowing to use its cluster We encourage you to participate in the Max-SAT Evaluation 2011

  • J. Argelich, C. M. Li, F

. Manyà, J. Planes Max-SAT Evaluation 2010 42 / 42