More thanks in sat competition paper

msoos · Apr 9, 2018 · a7e80c0 · a7e80c0
1 parent 1440761
commit a7e80c0
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 2 deletions.
diff --git a/docs/satcomp18-pdf/cmsv55.tex b/docs/satcomp18-pdf/cmsv55.tex
@@ -58,7 +58,7 @@ \subsection{Robustness}
 CMS is different from most other solvers in that it aims to be useable in both industry and academia. CMS has over 150 indivudual test cases, over 2000 lines of Python just for fuzzing orchestration, and compiles and runs without fault under both the ASAN and UBSAN sanitizers in clang and under Valgrind. This is in contrast many academic winning SAT solvers that produce results that are non-reproducible and/or produce segmentation faults if used as a library. CryptoMiniSat has extensive external fuzzing setup for library usage and is very robust under strange/unexpected use cases.
 
 \subsection{Thanks}
-This work was supported in part by NUS ODPRT Grant, R-252-000-685-133. The computational work for this article was performed on resources of the National Supercomputing Centre, Singapore\cite{nscc}.
+This work was supported in part by NUS ODPRT Grant, R-252-000-685-133. The computational work for this article was performed on resources of the National Supercomputing Centre, Singapore\cite{nscc}. The author would also like to thank all the users of CryptoMiniSat who have submitted over 400 issues and many pull requests to the GitHub CMS repository\cite{CMS}.
 
 
 \bibliographystyle{splncs03}

diff --git a/docs/satcomp18-pdf/sigproc.bib b/docs/satcomp18-pdf/sigproc.bib
@@ -42,7 +42,7 @@ @inproceedings{lingeling
 
 @inproceedings{maple,
     author="Tomas Balyo and Marijn J. H. Heule and Matti Jarvisalo",
-    title="MapleLRB LCM, Maple\_LCM, Maple\_LCM\_Dist, MapleLRB\_LCMoccRestart and Glucose-3.0+width in SAT Competition 2017",
+    title="{MapleLRB\_LCM, Maple\_LCM, Maple\_LCM\_Dist, MapleLRB\_LCMoccRestart and Glucose-3.0+width in SAT Competition 2017}",
     booktitle = "Proceedings of SAT Competition 2017",
     year="2018"
 }
@@ -54,6 +54,15 @@ @misc {nscc
   year="2018"
 }
 
+@misc {CMS,
+  author="Mate Soos",
+  title="{CryptoMiniSat SAT solver GitHub page}",
+  url="https://github.com/msoos/cryptominisat",
+  year="2018"
+}
+
+ \url{https://github.com/msoos/cryptominisat}
+
 @inproceedings{cheeseman91where,
     author = "Peter Cheeseman and Bob Kanefsky and William M. Taylor",
     title = "Where the Really Hard Problems Are",