Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/corr/abs-2002-06727
%A Bérczi, Kristóf
%A Boros, Endre
%A Cepek, Ondrej
%A Elbassioni, Khaled M.
%A Kucera, Petr
%A Makino, Kazuhisa
%D 2020
%J CoRR
%K dblp
%T Generating clause sequences of a CNF formula.
%U http://dblp.uni-trier.de/db/journals/corr/corr2002.html#abs-2002-06727
%V abs/2002.06727
@article{journals/corr/abs-2002-06727,
added-at = {2020-03-02T00:00:00.000+0100},
author = {Bérczi, Kristóf and Boros, Endre and Cepek, Ondrej and Elbassioni, Khaled M. and Kucera, Petr and Makino, Kazuhisa},
biburl = {https://www.bibsonomy.org/bibtex/2d25e45bec6c0ce4f525c918d89c195b4/dblp},
ee = {https://arxiv.org/abs/2002.06727},
interhash = {01d76c0359419775bafe3a158a556d51},
intrahash = {d25e45bec6c0ce4f525c918d89c195b4},
journal = {CoRR},
keywords = {dblp},
timestamp = {2020-03-03T12:10:53.000+0100},
title = {Generating clause sequences of a CNF formula.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr2002.html#abs-2002-06727},
volume = {abs/2002.06727},
year = 2020
}