Fixed

Author: aniemetz

slides.md

@@ -1,19 +1,35 @@
 ## Slides
 
-- [Model-Based API Testing for SMT Solvers](https://cs.stanford.edu/people/niemetz/files/talks/Niemetz-SMT17.pdf), SMT 2017, Heidelberg, Germany.
-- [Boolector at the SMT competition 2017](./slides/boolector-sc2017.pdf), SMT-COMP'17, Heidelberg, Germany
-- [Counterexample-Guided Model Synthesis](https://cs.stanford.edu/people/preiner/files/slides/PreinerNiemetzBiere-TACAS17-slides.pdf), TACAS'17, Uppsala, Sweden
-- [Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories](https://cs.stanford.edu/people/niemetz/files/talks/Niemetz-CAV16.pdf), CAV 2016, Toronto, Ontario, Canada.
-- [Better Lemmas with Lambda Extraction](https://cs.stanford.edu/people/preiner/files/slides/PreinerNiemetzBiere-FMCAD15-slides.pdf), FMCAD'15, Austin, Texas, USA
-- [Improving Local Search for Bit-Vector Logics with Path Propagation](https://cs.stanford.edu/people/niemetz/files/talks/Niemetz-DIFTS15.pdf), DIFTS 2015, Austin, TX, USA.
-- [Turbo-Charging Lemmas on Demand with Don't Care Reasoning](https://cs.stanford.edu/people/niemetz/files/talks/Niemetz-FMCAD14.pdf), FMCAD 2014, Lausanne, Switzerland.
-- [Boolector at the SMT competition 2014](./slides/boolector-sc2014.pdf), SMT-COMP'14, Vienna, Austria
-- [Lemmas on Demand for Lambdas](https://cs.stanford.edu/people/preiner/files/slides/PreinerNiemetzBiere-DIFTS13-slides.pdf), DIFTS'13, Portland, Oregon, USA
-- [Boolector 1.2](href="http://fmv.jku.at/brummayer/talks/Brummayer-SMT09-Boolector-talk.pdf), SMT-COMP'09, Montreal, Canada
-- [Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays](http://fmv.jku.at/brummayer/talks/Brummayer-TACAS09-talk.pdf), TACAS'09, York, UK
-- [Effective Bit-Width and Under-Approximation](http://fmv.jku.at/brummayer/talks/Brummayer-Eurocast09-talk.pdf), Eurocast'09, Las Palmas de Gran Canaria, Spain
-- [BTOR: Bit-Precise Modelling of Word-Level Problems for Model Checking](http://fmv.jku.at/brummayer/talks/Brummayer-BPR08-talk.pdf), BPR'08, Princeton, New Jersey, USA
-- [Lemmas on Demand for the Extensional Theory of Arrays](http://fmv.jku.at/brummayer/talks/Brummayer-SMT08-talk.pdf), SMT'08, Princeton, New Jersey, USA
-- [Boolector 0.4](http://fmv.jku.at/brummayer/talks/Brummayer-SMT08-Boolector-talk.pdf), SMT-COMP'08, Princeton, New Jersey, USA
-- [Offline SMT for Arrays](http://fmv.jku.at/brummayer/talks/Brummayer-AVM08-talk.pdf), AVM'08, Semmering, Austria
+- [Model-Based API Testing for SMT Solvers](https://cs.stanford.edu/people/niemetz/files/talks/Niemetz-SMT17.pdf)  
+  SMT 2017, Heidelberg, Germany.
+- [Boolector at the SMT competition 2017](./slides/boolector-sc2017-slides.pdf)  
+  SMT-COMP'17, Heidelberg, Germany
+- [Counterexample-Guided Model Synthesis](https://cs.stanford.edu/people/preiner/files/slides/PreinerNiemetzBiere-TACAS17-slides.pdf)  
+  TACAS'17, Uppsala, Sweden
+- [Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories](https://cs.stanford.edu/people/niemetz/files/talks/Niemetz-CAV16.pdf)  
+  CAV 2016, Toronto, Ontario, Canada.
+- [Better Lemmas with Lambda Extraction](https://cs.stanford.edu/people/preiner/files/slides/PreinerNiemetzBiere-FMCAD15-slides.pdf)  
+  FMCAD'15, Austin, Texas, USA
+- [Improving Local Search for Bit-Vector Logics with Path Propagation](https://cs.stanford.edu/people/niemetz/files/talks/Niemetz-DIFTS15.pdf)  
+  DIFTS 2015, Austin, TX, USA.
+- [Turbo-Charging Lemmas on Demand with Don't Care Reasoning](https://cs.stanford.edu/people/niemetz/files/talks/Niemetz-FMCAD14.pdf)  
+  FMCAD 2014, Lausanne, Switzerland.
+- [Boolector at the SMT competition 2014](./slides/boolector-sc2014-slides.pdf)  
+  SMT-COMP'14, Vienna, Austria
+- [Lemmas on Demand for Lambdas](https://cs.stanford.edu/people/preiner/files/slides/PreinerNiemetzBiere-DIFTS13-slides.pdf)  
+  DIFTS'13, Portland, Oregon, USA
+- [Boolector 1.2](href="http://fmv.jku.at/brummayer/talks/Brummayer-SMT09-Boolector-talk.pdf)  
+  SMT-COMP'09, Montreal, Canada
+- [Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays](http://fmv.jku.at/brummayer/talks/Brummayer-TACAS09-talk.pdf)  
+  TACAS'09, York, UK
+- [Effective Bit-Width and Under-Approximation](http://fmv.jku.at/brummayer/talks/Brummayer-Eurocast09-talk.pdf)  
+  Eurocast'09, Las Palmas de Gran Canaria, Spain
+- [BTOR: Bit-Precise Modelling of Word-Level Problems for Model Checking](http://fmv.jku.at/brummayer/talks/Brummayer-BPR08-talk.pdf)  
+  BPR'08, Princeton, New Jersey, USA
+- [Lemmas on Demand for the Extensional Theory of Arrays](http://fmv.jku.at/brummayer/talks/Brummayer-SMT08-talk.pdf)
+  SMT'08, Princeton, New Jersey, USA
+- [Boolector 0.4](http://fmv.jku.at/brummayer/talks/Brummayer-SMT08-Boolector-talk.pdf)  
+  SMT-COMP'08, Princeton, New Jersey, USA
+- [Offline SMT for Arrays](http://fmv.jku.at/brummayer/talks/Brummayer-AVM08-talk.pdf)  
+  AVM'08, Semmering, Austria