diff --git a/README.md b/README.md index 5633a19..39e595d 100644 --- a/README.md +++ b/README.md @@ -112,17 +112,17 @@ and pre-compiled binaries are available at: http://potassco.org/ or all consequences were computed (cautious/brave reasoning). Finally, exit codes greater than 32 are used to signal errors. -[enum]: http://www.cs.uni-potsdam.de/wv/pdfformat/gekanesc07c.pdf -[proj]: http://www.cs.uni-potsdam.de/wv/pdfformat/gekasc09a.pdf -[opt]: http://www.cs.uni-potsdam.de/wv/pdfformat/gekakasc11c.pdf -[claspmt]: http://www.cs.uni-potsdam.de/wv/pdfformat/gekasc12b.pdf -[claspD2]: http://www.cs.uni-potsdam.de/wv/pdfformat/gekasc13a.pdf -[hclasp]: http://www.cs.uni-potsdam.de/wv/pdfformat/gekaotroscwa13a.pdf -[unclasp]: http://www.cs.uni-potsdam.de/wv/pdfformat/ankamasc12a.pdf -[acyc]: http://www.cs.uni-potsdam.de/wv/pdfformat/bogejakasc15b.pdf -[aspif]: http://www.cs.uni-potsdam.de/wv/pdfformat/gekakaosscwa16b.pdf +[enum]: https://www.cs.uni-potsdam.de/wv/publications/#DBLP:conf/lpnmr/GebserKNS07 +[proj]: https://www.cs.uni-potsdam.de/wv/publications/#DBLP:conf/cpaior/GebserKS09 +[opt]: https://www.cs.uni-potsdam.de/wv/publications/#DBLP:journals/tplp/GebserKS11 +[claspmt]: https://www.cs.uni-potsdam.de/wv/publications/#DBLP:journals/tplp/GebserKS12 +[claspD2]: https://www.cs.uni-potsdam.de/wv/publications/#DBLP:conf/ijcai/GebserKS13 +[hclasp]: https://www.cs.uni-potsdam.de/wv/publications/#DBLP:conf/aaai/GebserKROSW13 +[unclasp]: https://www.cs.uni-potsdam.de/wv/publications/#DBLP:conf/iclp/AndresKMS12 +[acyc]: https://www.cs.uni-potsdam.de/wv/publications/#DBLP:journals/fuin/BomansonGJKS16 +[aspif]: https://www.cs.uni-potsdam.de/wv/publications/#DBLP:conf/iclp/GebserKKOSW16x [smodels]: http://www.tcs.hut.fi/Software/smodels/lparse.ps [dimacs]: http://www.satcompetition.org/2009/format-benchmarks2009.html -[opb]: http://www.cril.univ-artois.fr/PB09/solver_req.html -[doxygen]: http://www.stack.nl/~dimitri/doxygen/ +[opb]: https://www.cril.univ-artois.fr/PB09/solver_req.html +[doxygen]: https://www.stack.nl/~dimitri/doxygen/ [cmake]: https://cmake.org/