%0 Conference Paper %1 Bader-El-Den:2008:WCCI %A Bader-El-Den, Mohamed %A Poli, Riccardo %B Proceedings of the IEEE World Congress on Computational Intelligence %C Hong Kong %D 2008 %I IEEE %K algorithms, genetic programming %T Analysis and Extension of the Inc* SAT Solver

@inproceedings{Bader-El-Den:2008:WCCI, added-at = {2008-06-19T17:35:00.000+0200}, address = {Hong Kong}, author = {Bader-El-Den, Mohamed and Poli, Riccardo}, biburl = {https://www.bibsonomy.org/bibtex/214c504aa5a1f21cc57fd36e72d00e7a3/brazovayeye}, booktitle = {Proceedings of the IEEE World Congress on Computational Intelligence}, interhash = {6ad806a1dc8c66e1768da391b52d2b0b}, intrahash = {14c504aa5a1f21cc57fd36e72d00e7a3}, keywords = {algorithms, genetic programming}, month = {1-6 June}, note = {Forthcoming}, publisher = {IEEE}, timestamp = {2008-06-19T17:36:05.000+0200}, title = {Analysis and Extension of the Inc* {SAT} Solver}, year = 2008 }