Constraint CNF: SAT and CSP Language Under One Roof.
B. Cat, and Y. Lierler. ICLP (Technical Communications), volume 52 of OASIcs, page 12:1-12:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/iclp/CatL16
%A Cat, Broes De
%A Lierler, Yuliya
%B ICLP (Technical Communications)
%D 2016
%E Carro, Manuel
%E King, Andy
%E Saeedloei, Neda
%E Vos, Marina De
%I Schloss Dagstuhl - Leibniz-Zentrum für Informatik
%K dblp
%P 12:1-12:15
%T Constraint CNF: SAT and CSP Language Under One Roof.
%U http://dblp.uni-trier.de/db/conf/iclp/iclp2016.html#CatL16
%V 52
%@ 978-3-95977-007-1
@inproceedings{conf/iclp/CatL16,
added-at = {2018-10-23T00:00:00.000+0200},
author = {Cat, Broes De and Lierler, Yuliya},
biburl = {https://www.bibsonomy.org/bibtex/2cbf61f2afc9d9fc2a7bc0481bbd72dbd/dblp},
booktitle = {ICLP (Technical Communications)},
crossref = {conf/iclp/2016},
editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and Vos, Marina De},
ee = {https://doi.org/10.4230/OASIcs.ICLP.2016.12},
interhash = {5a6c527e7b2e886546a1e0ebffff51d4},
intrahash = {cbf61f2afc9d9fc2a7bc0481bbd72dbd},
isbn = {978-3-95977-007-1},
keywords = {dblp},
pages = {12:1-12:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
series = {OASIcs},
timestamp = {2024-04-09T16:09:44.000+0200},
title = {Constraint CNF: SAT and CSP Language Under One Roof.},
url = {http://dblp.uni-trier.de/db/conf/iclp/iclp2016.html#CatL16},
volume = 52,
year = 2016
}