BibTeX record journals/corr/abs-2104-14098

download as .bib file

@article{DBLP:journals/corr/abs-2104-14098,
  author    = {Preey Shah and
               Aman Bansal and
               S. Akshay and
               Supratik Chakraborty},
  title     = {A Normal Form Characterization for Efficient Boolean Skolem Function
               Synthesis},
  journal   = {CoRR},
  volume    = {abs/2104.14098},
  year      = {2021}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics