New Width Parameters for SAT and Sharp-SAT (bibtex)
by ,
Reference:
New Width Parameters for SAT and Sharp-SATRobert Ganian, Stefan SzeiderArtificial Intelligence, 2021.Note: to appear
Bibtex Entry:
@string{ai="Artificial Intelligence"}
@article {GanianSzeider21,
    author = {Ganian, Robert and Szeider, Stefan},
     title = {New Width Parameters for SAT and Sharp-SAT},
   journal = AI,
      year = {2021},
	  note = {to appear},
  keywords  = {nfpc,ParAI}
}
Powered by bibtexbrowser