%0 Conference Paper %1 conf/ijcai/LinS07 %A Lin, Han %A Su, Kaile %B IJCAI %D 2007 %E Veloso, Manuela M. %K dblp %P 2334-2339 %T Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2007.html#LinS07

@inproceedings{conf/ijcai/LinS07, added-at = {2019-08-20T00:00:00.000+0200}, author = {Lin, Han and Su, Kaile}, biburl = {https://www.bibsonomy.org/bibtex/2069c6b5461f4c3317a6c62a6995e9924/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2007}, editor = {Veloso, Manuela M.}, ee = {http://ijcai.org/Proceedings/07/Papers/376.pdf}, interhash = {568aec34388da349eecdd0220c118a8b}, intrahash = {069c6b5461f4c3317a6c62a6995e9924}, keywords = {dblp}, pages = {2334-2339}, timestamp = {2019-08-21T11:49:10.000+0200}, title = {Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2007.html#LinS07}, year = 2007 }