Cube-and-Conquer Approach for SAT Solving on Grids (bibtex)
by Csaba Biró, Gergely Kovásznai, Armin Biere, Gábor Kusper, Gábor Geda
Reference:
Cube-and-Conquer Approach for SAT Solving on GridsCsaba Biró, Gergely Kovásznai, Armin Biere, Gábor Kusper, Gábor GedaAnnales Mathematicae et Informaticae, volume 42, pages 9-21, 2013.
Bibtex Entry:
@article{BiroKovasznaiBiereKusperGedaAMI2013,
  author    = {Csaba Bir\'o and Gergely Kov\'asznai and Armin Biere and G\'abor Kusper and G\'abor Geda},
  title     = {Cube-and-Conquer Approach for SAT Solving on Grids},
  year      = {2013},
  journal   = {Annales Mathematicae et Informaticae},
  volume    = {42},
  pages     = {9-21},
  URL       = {http://ami.ektf.hu/index.php?vol=42}
}
Powered by bibtexbrowser