Commit a0f042e5 authored by Kawisorn Kamtue's avatar Kawisorn Kamtue
Browse files

Update satzilla.tex

parent 41d95526
...@@ -14,7 +14,7 @@ ...@@ -14,7 +14,7 @@
{SATZilla} {SATZilla}
\subtitle{Portfolio-based algorithm selection for SAT} \subtitle{Portfolio-based algorithm selection for SAT}
\author[Kawisorn Kamtue] % (optional) \author[Kawisorn Kamtue, Rémi Oudin, Emilie Grienenberger, Xavier Poulot-Cazajous] % (optional)
{Kawisorn Kamtue} {Kawisorn Kamtue}
\institute[ENS Paris Saclay] % (optional) \institute[ENS Paris Saclay] % (optional)
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