search

sarsko / CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
MIT License
614 stars 12 forks source link

Default Citation #40

Closed m-fleury closed 1 year ago

m-fleury commented 1 year ago

Could you add what should be cited in the readme? Here is the bibtex entry I currently use, but it might not be optimal:

@mastersthesis{creusat,
  author       = {Skotåm, Sarek Høverstad},
  title        = {{CreuSAT}, Using {Rust} and {Creusot} to create the
                  world’s fastest deductively verified {SAT} solver},
  school       = {University of Oslo},
  year         = {2022},
  url          =
                  {https://www.duo.uio.no/handle/10852/96757},
}

Thank you very much

sarsko commented 1 year ago

Thanks!

Updated the README with information on how to cite. It is the same as yours after being put into Zotero and then exported, so it should be fine to keep using the one you have been using.