%0 Conference Paper %1 conf/ai/SmythHS03 %A Smyth, Kevin %A Hoos, Holger H. %A Stützle, Thomas %B Canadian Conference on AI %D 2003 %E Xiang, Yang %E Chaib-draa, Brahim %I Springer %K dblp %P 129-144 %T Iterated Robust Tabu Search for MAX-SAT. %U http://dblp.uni-trier.de/db/conf/ai/ai2003.html#SmythHS03 %V 2671 %@ 3-540-40300-0

@inproceedings{conf/ai/SmythHS03, added-at = {2007-11-03T00:18:07.000+0100}, author = {Smyth, Kevin and Hoos, Holger H. and St{\~A}¼tzle, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2849a151e2eabcb385d02681a7262c109/bsmyth}, booktitle = {Canadian Conference on AI}, crossref = {conf/ai/2003}, date = {2003-06-03}, description = {dblp}, editor = {Xiang, Yang and Chaib-draa, Brahim}, ee = {http://link.springer.de/link/service/series/0558/bibs/2671/26710129.htm}, interhash = {7b4146359016291faf53d57ff580c541}, intrahash = {849a151e2eabcb385d02681a7262c109}, isbn = {3-540-40300-0}, keywords = {dblp}, pages = {129-144}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2007-11-03T00:18:15.000+0100}, title = {Iterated Robust Tabu Search for MAX-SAT.}, url = {http://dblp.uni-trier.de/db/conf/ai/ai2003.html#SmythHS03}, volume = 2671, year = 2003 }