Inproceedings,
Relevance for SAT(ID).
J. Jansen, B. Bogaerts, J. Devriendt, G. Janssens, and M. Denecker.IJCAI, page 596-602. IJCAI/AAAI Press, (2016)
Meta data
- BibTeX key
- conf/ijcai/Jansen0DJD16
- entry type
- inproceedings
- booktitle
- IJCAI
- year
- 2016
- pages
- 596-602
- publisher
- IJCAI/AAAI Press
- crossref
- conf/ijcai/2016
- ee
- http://www.ijcai.org/Abstract/16/091
- isbn
- 978-1-57735-771-1
- url
- http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#Jansen0DJD16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ijcai/Jansen0DJD16
%A Jansen, Joachim
%A Bogaerts, Bart
%A Devriendt, Jo
%A Janssens, Gerda
%A Denecker, Marc
%B IJCAI
%D 2016
%E Kambhampati, Subbarao
%I IJCAI/AAAI Press
%K
%P 596-602
%T Relevance for SAT(ID).
%U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#Jansen0DJD16
%@ 978-1-57735-771-1
@inproceedings{conf/ijcai/Jansen0DJD16,
added-at = {2023-12-12T20:01:50.000+0100},
author = {Jansen, Joachim and Bogaerts, Bart and Devriendt, Jo and Janssens, Gerda and Denecker, Marc},
biburl = {https://www.bibsonomy.org/bibtex/2f6bc6cbe6000777313b27427fb42734c/admin},
booktitle = {IJCAI},
crossref = {conf/ijcai/2016},
editor = {Kambhampati, Subbarao},
ee = {http://www.ijcai.org/Abstract/16/091},
interhash = {297fe50aa26a974148a7f4f8c02d58ba},
intrahash = {f6bc6cbe6000777313b27427fb42734c},
isbn = {978-1-57735-771-1},
keywords = {},
pages = {596-602},
publisher = {IJCAI/AAAI Press},
timestamp = {2023-12-12T20:01:50.000+0100},
title = {Relevance for SAT(ID).},
url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#Jansen0DJD16},
year = 2016
}