generated from satcompetition/template
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
94 lines (88 loc) · 4.04 KB
/
index.html
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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>SAT Competition</title>
<link rel="stylesheet" href="main.css" type="text/css">
<link rel="icon" type="image/x-icon" href="doge2.ico">
<script src="https://www.w3schools.com/lib/w3.js"></script>
<style>a#index { color:var(--link-color-2); }</style>
</head>
<body>
<div class="main">
<div class="navigation" w3-include-html="navigation.html"></div>
<div class="heading" w3-include-html="heading.html"></div>
<script>w3.includeHTML();</script>
<div class="content">
SAT Competition 2024 is a competitive event for solvers of the Boolean Satisfiability (SAT) problem.
The competition is organized as a satellite event to the <a href="http://satisfiability.org/SAT24/">SAT Conference 2024</a>
and continues the series of the annual <a href="http://www.satcompetition.org">SAT Competitions and SAT-Races / Challenges</a>.
<h3><a name="Objective">Objective</a></h3>
<p>
The area of SAT Solving has seen tremendous progress over the last years.
Many problems that seemed to be out of reach a decade ago can now be handled routinely.
Besides new algorithms and better heuristics, refined implementation techniques turned out to be vital for this success.
To keep up the driving force in improving SAT solvers, we want to motivate implementers to present their work to a broader audience
and to compare it with that of others.
Researchers from both academia and industry are invited to submit their solvers and benchmarks.
</p>
<h3 id="news">News</h3>
<ul>
<li><b>2024-08-27</b>
A separate download of the <a href="downloads/meta.csv">benchmark metadata</a> is now available.
</li>
<li><b>2024-08-27</b>
The benchmarks are available for download at <a href="https://doi.org/10.5281/zenodo.13379892">Zenodo</a> and can be accessed in annotated form under <a href="https://benchmark-database.de?track=main_2024">https://benchmark-database.de?track=main_2024</a>
<li><b>2024-08-27</b>
The sources of <a href="downloads/solvers/sequential.tar.xz">sequential solvers</a>, <a href="downloads/solvers/parallel.tar.xz">parallel solvers</a>, and <a href="downloads/solvers/cloud.tar.xz">distributed solvers</a> are available for download.
</li>
<li><b>2024-08-27</b>
The <a href="results.html">HTML result tables</a> of the SAT Competition 2024 are available and the <a href="downloads/detailed_results.zip">detailed results</a> can be downloaded.
</li>
<li><b>2024-08-25</b>
The <a href="http://hdl.handle.net/10138/584822">Proceedings of the SAT Competition</a> are available online.
</li>
<li><b>2024-08-25</b>
The <a href="downloads/satcomp24slides.pdf">presentation of results</a> is now available for download.
</li>
<li><b>2024-01-26</b>
We will replace the satisfying assignments checker that has traditionally been used in SAT competitions. This will allow <a href="output.html#satassign">partial models to be accepted</a> as long as every clause of the original SAT instance is satisfied.
<li><b>2024-01-22</b>
The competition website is online.
</li>
</ul>
<h3><a name="Tracks">Tracks</a></h3>
<ul>
<li><a href="tracks.html#main">Main Track</a>, including subtracks:
<ul>
<li><a href="tracks.html#hack">CaDiCaL Hack Track</a></li>
<li><a href="tracks.html#nolimits">No-limits Track</a></li>
</ul>
</li>
<li><a href="tracks.html#parallel">Parallel Track</a></li>
<li><a href="tracks.html#cloud">Cloud Track</a></li>
</ul>
<h3 id="dates">Important Dates</h3>
<table>
<tr>
<td>Registration Opens:</td>
<td class="date">April 1st</td>
</tr>
<tr>
<td>Benchmark Submission / Solver Registration Deadline:</td>
<td class="date">April 22nd</td>
</tr>
<tr>
<td>Solver Submission Deadline:</td>
<td class="date"><s>Mai 1st</s> Mai 15th</td>
</tr>
</tr>
<tr>
<td>Announcement of Results:</td>
<td class="date">August 24th at <a href="http://satisfiability.org/SAT24/">SAT Conference 2024</a></td>
</tr>
</table>
</div>
</div>
</body>
</html>