-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathrelated.html
55 lines (44 loc) · 1.63 KB
/
related.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
<!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 2018</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#related { color:#c20114; }</style>
</head>
<body>
<div class="main">
<div class="navigation" w3-include-html="navigation.html"></div>
<script>w3.includeHTML();</script>
<div class="content">
<h1>SAT Competition 2018</h1>
<h2>Related Events</h2>
<h4>Sat Conference</h4>
<ul>
<li><a href="http://sat2018.azurewebsites.net/">SAT 2018</a></li>
<li><a href="http://sat2017.gitlab.io/">SAT 2017</a></li>
<li><a href="http://sat2016.labri.fr">SAT 2016</a></li>
<li><a href="http://www.cs.utexas.edu/~marijn/sat15">SAT 2015</a></li>
</ul>
<h4>Previous SAT-Races/Competitions</h4>
<ul>
<li><a href="http://www.satcompetition.org">SAT Competitions</a></li>
<li><a href="http://baldur.iti.kit.edu/sat-race-2015">SAT-Race 2015</a></li>
<li><a href="http://baldur.iti.kit.edu/SAT-Challenge-2012">SAT-Challenge 2012</a></li>
<li><a href="http://baldur.iti.uka.de/sat-race-2010">SAT-Race 2010</a></li>
<li><a href="http://baldur.iti.uka.de/sat-race-2008">SAT-Race 2008</a></li>
<li><a href="http://fmv.jku.at/sat-race-2006">SAT-Race 2006</a></li>
</ul>
<!--
<h4>Other Competitions</h4>
<ul>
<li><a href="http://pbeva.computational-logic.org/">Pseudo-Boolean Evaluation 2015</a></li>
<li><a href="http://www.maxsat.udl.cat/">MaxSAT Evaluations</a></li>
</ul>
-->
</div>
</div>
</body>
</html>