fixed

arminbiere · Mar 30, 2020 · 3d9ca53 · 3d9ca53
1 parent 18f1d45
commit 3d9ca53
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -17,11 +17,11 @@ To understand what `scranfilize` can do run
 
 after building it.
 
-This tool is described in our [POS'18 paper]<http://fmv.jku.at/papers/BiereHeule-POS18.pdf>  ([bibtex]<http://fmv.jku.at/papers/BiereHeule-POS18.bib>):
+This tool is described in our [POS'18 paper](http://fmv.jku.at/papers/BiereHeule-POS18.pdf)  ([bibtex](http://fmv.jku.at/papers/BiereHeule-POS18.bib)):
 
   Armin Biere, Marijn Heule.
-  [The Effect of Scrambling CNFs]<http://fmv.jku.at/papers/BiereHeule-POS18.bib>.
+  [The Effect of Scrambling CNFs](http://fmv.jku.at/papers/BiereHeule-POS18.pdf).
   In Proceedings 9th Workshop on Pragmatics of SAT 2015 and 2018,
   EPiC Series in Computing, vol. 59, pages 111-126, EasyChair, 2019.
 
-The set of [experiments]<http://fmv.jku.at/scranfilize> are described at <http://fmv.jku.at/scranfilize>.
+The set of [experiments](http://fmv.jku.at/scranfilize) are described at <http://fmv.jku.at/scranfilize>.