Inproceedings,
SAT to SAT-Hard Clause Translator.
R. Hassan, S. Rafatirad, H. Homayoun, and S. Dinakarrao.CASES (work in progress), page 1-2. IEEE, (2019)
Meta data
- BibTeX key
- conf/cases/HassanRHD19
- entry type
- inproceedings
- booktitle
- CASES (work in progress)
- year
- 2019
- pages
- 1-2
- publisher
- IEEE
- crossref
- conf/cases/2019
- ee
- https://ieeexplore.ieee.org/document/8944352
- isbn
- 978-1-4503-6925-1
- url
- http://dblp.uni-trier.de/db/conf/cases/cases2019.html#HassanRHD19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/cases/HassanRHD19
%A Hassan, Rakibul
%A Rafatirad, Setareh
%A Homayoun, Houman
%A Dinakarrao, Sai Manoj Pudukotai
%B CASES (work in progress)
%D 2019
%I IEEE
%K dblp
%P 1-2
%T SAT to SAT-Hard Clause Translator.
%U http://dblp.uni-trier.de/db/conf/cases/cases2019.html#HassanRHD19
%@ 978-1-4503-6925-1
@inproceedings{conf/cases/HassanRHD19,
added-at = {2020-02-10T00:00:00.000+0100},
author = {Hassan, Rakibul and Rafatirad, Setareh and Homayoun, Houman and Dinakarrao, Sai Manoj Pudukotai},
biburl = {https://www.bibsonomy.org/bibtex/2cf3e0233faeb17878179444ee146e0a6/dblp},
booktitle = {CASES (work in progress)},
crossref = {conf/cases/2019},
ee = {https://ieeexplore.ieee.org/document/8944352},
interhash = {af03e5dad10791a809bae52bd4ea5a69},
intrahash = {cf3e0233faeb17878179444ee146e0a6},
isbn = {978-1-4503-6925-1},
keywords = {dblp},
pages = {1-2},
publisher = {IEEE},
timestamp = {2020-02-11T11:45:58.000+0100},
title = {SAT to SAT-Hard Clause Translator.},
url = {http://dblp.uni-trier.de/db/conf/cases/cases2019.html#HassanRHD19},
year = 2019
}