Update README.md

arminbiere · May 6, 2023 · 42efcf0 · 42efcf0
1 parent babe934
commit 42efcf0
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -21,7 +21,6 @@ and
 <a href="https://cca.informatik.uni-freiburg.de/biere/index.html#publications">Armin Biere</a>.
 <br>
 <a href="https://cca.informatik.uni-freiburg.de/papers/FleuryBiere-ARXIV22.pdf">Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses</a>.
-<br>
 CoRR abs/2207.13577 (2022), presented at
 <a href="http://www.pragmaticsofsat.org/2022/">12th Workshop on Pragmatics of SAT (POS'22)</a>.
 <br>