Algorithms for Satisfiability Testing

Voboril, Florentina

by Florentina Voboril

Reference:

Algorithms for Satisfiability TestingFlorentina VoborilSeptember 2023, SKILL 2023, Gesellschaft für Informatik, Bonn.Note: to appear

Bibtex Entry:

@string{sep="September"}
@misc{voboril_algorithms_23,
  author = {Florentina Voboril},
  title = {Algorithms for Satisfiability Testing},
  year = {2023},
  month = {sep},
  howpublished = {SKILL 2023},
  publisher = {SKILL 2023, Gesellschaft für Informatik, Bonn},
  note = {to appear}
}