BibTeX record conf/ssci/IlletskovaBTHRT17

• > Home > conf/ssci/IlletskovaBTHRT17

@inproceedings{DBLP:conf/ssci/IlletskovaBTHRT17,
  author       = {Marketa Illetskova and
                  Alex R. Bertels and
                  Joshua M. Tuggle and
                  Adam Harter and
                  Samuel Richter and
                  Daniel R. Tauritz and
                  Samuel A. Mulder and
                  Denis Bueno and
                  Michelle Leger and
                  William M. Siever},
  title        = {Improving performance of {CDCL} {SAT} solvers by automated design
                  of variable selection heuristics},
  booktitle    = {2017 {IEEE} Symposium Series on Computational Intelligence, {SSCI}
                  2017, Honolulu, HI, USA, November 27 - Dec. 1, 2017},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/SSCI.2017.8280953},
  doi          = {10.1109/SSCI.2017.8280953},
  timestamp    = {Sun, 06 Oct 2024 21:15:11 +0200},
  biburl       = {https://dblp.org/rec/conf/ssci/IlletskovaBTHRT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}