%0 Conference Paper %1 conf/cp/KatsirelosS12 %A Katsirelos, George %A Simon, Laurent %B CP %D 2012 %E Milano, Michela %I Springer %K dblp %P 348-356 %T Eigenvector Centrality in Industrial SAT Instances. %U http://dblp.uni-trier.de/db/conf/cp/cp2012.html#KatsirelosS12 %V 7514 %@ 978-3-642-33557-0

@inproceedings{conf/cp/KatsirelosS12, added-at = {2024-05-30T00:00:00.000+0200}, author = {Katsirelos, George and Simon, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/263e3c6bddf97b361d0408309f054ddb8/dblp}, booktitle = {CP}, crossref = {conf/cp/2012}, editor = {Milano, Michela}, ee = {https://doi.org/10.1007/978-3-642-33558-7_27}, interhash = {bd0c60a32149a210da5b3c3a0e662b15}, intrahash = {63e3c6bddf97b361d0408309f054ddb8}, isbn = {978-3-642-33557-0}, keywords = {dblp}, pages = {348-356}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-06-03T07:23:17.000+0200}, title = {Eigenvector Centrality in Industrial SAT Instances.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2012.html#KatsirelosS12}, volume = 7514, year = 2012 }