From 3ffe2463ac9e396a71dd5a48e8c7687a263c0031 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Sun, 25 Jul 2021 11:15:21 +1000
Subject: [PATCH] Fix URLS

---
 assets/bibliography/references.bib | 21 ++++++++++-----------
 1 file changed, 10 insertions(+), 11 deletions(-)

diff --git a/assets/bibliography/references.bib b/assets/bibliography/references.bib
index 2ef2d31..8d6525c 100644
--- a/assets/bibliography/references.bib
+++ b/assets/bibliography/references.bib
@@ -33,8 +33,8 @@
 	pages = {107--116},
 	publisher = {Springer},
 	year = {2013},
-	url = {https://doi.org/10.1007/978-3-642-40627-0\_11},
-	doi = {10.1007/978-3-642-40627-0\_11},
+	url = {https://doi.org/10.1007/978-3-642-40627-0_11},
+	doi = {10.1007/978-3-642-40627-0_11},
 	timestamp = {Tue, 14 May 2019 10:00:45 +0200},
 	biburl = {https://dblp.org/rec/conf/cp/AkgunFGHJKMN13.bib},
 	bibsource = {dblp computer science bibliography, https://dblp.org},
@@ -152,7 +152,6 @@
 	author = {Biere, A. and Heule, M. and Van Maaren, H. and Walsh, T.},
 	isbn = 9781643681610,
 	series = {Frontiers in artificial intelligence and applications},
-	url = {https://books.google.com.au/books?id=YVSM3sxhBhcC},
 	year = 2021,
 	publisher = {IOS Press},
 	edition = 2,
@@ -250,8 +249,8 @@
 	pages = {49--58},
 	publisher = {Springer},
 	year = 2006,
-	url = {https://doi.org/10.1007/11941439\_9},
-	doi = {10.1007/11941439\_9},
+	url = {https://doi.org/10.1007/11941439_9},
+	doi = {10.1007/11941439_9},
 	timestamp = {Mon, 04 Nov 2019 12:36:13 +0100},
 	biburl = {https://dblp.org/rec/conf/ausai/ChoiHLS06.bib},
 	bibsource = {dblp computer science bibliography, https://dblp.org},
@@ -350,8 +349,8 @@
 	pages = {502--518},
 	publisher = {Springer},
 	year = {2003},
-	url = {https://doi.org/10.1007/978-3-540-24605-3\_37},
-	doi = {10.1007/978-3-540-24605-3\_37},
+	url = {https://doi.org/10.1007/978-3-540-24605-3_37},
+	doi = {10.1007/978-3-540-24605-3_37},
 	timestamp = {Tue, 14 May 2019 10:00:41 +0200},
 	biburl = {https://dblp.org/rec/conf/sat/EenS03.bib},
 	bibsource = {dblp computer science bibliography, https://dblp.org},
@@ -840,8 +839,8 @@
 	pages = {438--445},
 	publisher = {Springer},
 	year = {2014},
-	url = {https://doi.org/10.1007/978-3-319-09284-3\_33},
-	doi = {10.1007/978-3-319-09284-3\_33},
+	url = {https://doi.org/10.1007/978-3-319-09284-3_33},
+	doi = {10.1007/978-3-319-09284-3_33},
 	timestamp = {Tue, 14 May 2019 10:00:41 +0200},
 	biburl = {https://dblp.org/rec/conf/sat/MartinsML14.bib},
 	bibsource = {dblp computer science bibliography, https://dblp.org},
@@ -1277,8 +1276,8 @@
 	pages = {384--400},
 	publisher = {Springer},
 	year = {2019},
-	url = {https://doi.org/10.1007/978-3-030-30048-7\_23},
-	doi = {10.1007/978-3-030-30048-7\_23},
+	url = {https://doi.org/10.1007/978-3-030-30048-7_23},
+	doi = {10.1007/978-3-030-30048-7_23},
 	timestamp = {Sat, 12 Oct 2019 12:51:44 +0200},
 	biburl = {https://dblp.org/rec/conf/cp/StuckeyT19.bib},
 	bibsource = {dblp computer science bibliography, https://dblp.org},