%0 Conference Paper %1 conf/cpaior/WangSS16 %A Wang, Wenxi %A Søndergaard, Harald %A Stuckey, Peter J. %B CPAIOR %D 2016 %E Quimper, Claude-Guy %I Springer %K dblp %P 374-391 %T A Bit-Vector Solver with Word-Level Propagation. %U http://dblp.uni-trier.de/db/conf/cpaior/cpaior2016.html#WangSS16 %V 9676 %@ 978-3-319-33953-5

@inproceedings{conf/cpaior/WangSS16, added-at = {2018-11-14T00:00:00.000+0100}, author = {Wang, Wenxi and Søndergaard, Harald and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/224081cd83fed59367d549d6f28ac1d51/dblp}, booktitle = {CPAIOR}, crossref = {conf/cpaior/2016}, editor = {Quimper, Claude-Guy}, ee = {https://www.wikidata.org/entity/Q57664981}, interhash = {06a2634ec679f31a1d4f5cc1fd43243d}, intrahash = {24081cd83fed59367d549d6f28ac1d51}, isbn = {978-3-319-33953-5}, keywords = {dblp}, pages = {374-391}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:54:39.000+0200}, title = {A Bit-Vector Solver with Word-Level Propagation.}, url = {http://dblp.uni-trier.de/db/conf/cpaior/cpaior2016.html#WangSS16}, volume = 9676, year = 2016 }