Commit 762b27f7 authored by Remi Oudin's avatar Remi Oudin
Browse files

Revert "bibtex sans le mois".

This commit removed many modifications on my version of the bibtex.

This reverts commit 09943761.
parent 718d871a
......@@ -89,15 +89,18 @@
}
@misc{SATzilla,
title = "SATzilla~: Portfolio-based algorithm selection for SAT",
title = "SATzilla~: Portfolio-based algorithm selection for {SAT}",
url = "http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/",
howpublished = "\url{http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/}",
year= 2012,
}
@article{lammgraph,
title={Graph Neural Networks and Boolean Satisfiability},
@misc{lammgraph,
title={Graph {N}eural {N}etworks and {B}oolean {S}atisfiability},
author={Lamm, Matthew and B{\"u}nz, Benedikt},
year={2015}
year={2015},
url={https://cs224d.stanford.edu/reports/BunzBenedikt.pdf},
howpublished={\url{https://cs224d.stanford.edu/reports/BunzBenedikt.pdf}}
}
@article{xu2008,
......@@ -151,7 +154,6 @@
publisher="IEEE Press",
year={2009}
}
@Inbook{Ganesh2012,
author="Ganesh, Vijay
and O'Donnell, Charles W.
......@@ -173,4 +175,3 @@
doi="10.1007/978-3-642-31612-8_12",
url="http://dx.doi.org/10.1007/978-3-642-31612-8_12"
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment