Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/sat/KieslHS17
%A Kiesl, Benjamin
%A Heule, Marijn J. H.
%A Seidl, Martina
%B SAT
%D 2017
%E Gaspers, Serge
%E Walsh, Toby
%I Springer
%K
%P 281-297
%T A Little Blocked Literal Goes a Long Way.
%U http://dblp.uni-trier.de/db/conf/sat/sat2017.html#KieslHS17
%V 10491
%@ 978-3-319-66263-3
@inproceedings{conf/sat/KieslHS17,
added-at = {2023-12-13T04:06:24.000+0100},
author = {Kiesl, Benjamin and Heule, Marijn J. H. and Seidl, Martina},
biburl = {https://www.bibsonomy.org/bibtex/234e9f41c2acd599fcbdc8eca517d5390/admin},
booktitle = {SAT},
crossref = {conf/sat/2017},
editor = {Gaspers, Serge and Walsh, Toby},
ee = {https://doi.org/10.1007/978-3-319-66263-3_18},
interhash = {92032d340ad60b361b1cfca47a461cd3},
intrahash = {34e9f41c2acd599fcbdc8eca517d5390},
isbn = {978-3-319-66263-3},
keywords = {},
pages = {281-297},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T04:06:24.000+0100},
title = {A Little Blocked Literal Goes a Long Way.},
url = {http://dblp.uni-trier.de/db/conf/sat/sat2017.html#KieslHS17},
volume = 10491,
year = 2017
}