From c699d7c6145f978b1864c2be25d9f0607099a3e5 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 13 Aug 2015 09:42:24 +0200 Subject: More ASCII encoding fixes --- manual/APPNOTE_011_Design_Investigation.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'manual/APPNOTE_011_Design_Investigation.tex') diff --git a/manual/APPNOTE_011_Design_Investigation.tex b/manual/APPNOTE_011_Design_Investigation.tex index b9a8237f4..02fb99d36 100644 --- a/manual/APPNOTE_011_Design_Investigation.tex +++ b/manual/APPNOTE_011_Design_Investigation.tex @@ -1061,7 +1061,7 @@ MiniSat: a minimalistic open-source SAT solver. \url{http://minisat.se/} \bibitem{tip} -Niklas Een and Niklas Sörensson (2003). +Niklas Een and Niklas S\"orensson (2003). Temporal Induction by Incremental SAT Solving. \url{http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.8161} -- cgit v1.2.3