%0 Conference Paper %1 conf/aaai/ChowdhuryMY18 %A Chowdhury, Md. Solimul %A Müller, Martin %A You, Jia-Huai %B AAAI %D 2018 %E McIlraith, Sheila A. %E Weinberger, Kilian Q. %I AAAI Press %K dblp %P 8069-8070 %T Preliminary Results on Exploration-Driven Satisfiability Solving. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2018.html#ChowdhuryMY18

@inproceedings{conf/aaai/ChowdhuryMY18, added-at = {2023-09-04T00:00:00.000+0200}, author = {Chowdhury, Md. Solimul and Müller, Martin and You, Jia-Huai}, biburl = {https://www.bibsonomy.org/bibtex/2e4416feba60b3c5129dfc203651bcf60/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2018}, editor = {McIlraith, Sheila A. and Weinberger, Kilian Q.}, ee = {https://doi.org/10.1609/aaai.v32i1.12164}, interhash = {f780eed396347bc81a23e40d5fdecf38}, intrahash = {e4416feba60b3c5129dfc203651bcf60}, keywords = {dblp}, pages = {8069-8070}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:09:31.000+0200}, title = {Preliminary Results on Exploration-Driven Satisfiability Solving.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2018.html#ChowdhuryMY18}, year = 2018 }