Difference between revisions of "Pablo San Segundo"
GerdIsenberg (talk | contribs) (Created page with "'''Home * People * Pablo San Segundo''' FILE:San segundo carrillo pablo 20081119 olympiade dresden.jpg|border|right|thumb|220px| Pablo San Segundo <ref>Pa...") |
GerdIsenberg (talk | contribs) |
||
| Line 30: | Line 30: | ||
==2015 ...== | ==2015 ...== | ||
* [[Pablo San Segundo]], [https://dblp.org/pers/hd/n/Nikolaev:Alexey Alexey Nikolaev], [https://scholar.google.ru/citations?user=MUQcdkAAAAAJ&hl=ru Mikhail Batsyn] ('''2015'''). ''[https://www.sciencedirect.com/science/article/pii/S0305054815001549 Infra-chromatic bound for exact maximum clique search]''. [https://dblp.uni-trier.de/db/journals/cor/cor64.html Computers & Operations Research, Vol. 64, No. 4] | * [[Pablo San Segundo]], [https://dblp.org/pers/hd/n/Nikolaev:Alexey Alexey Nikolaev], [https://scholar.google.ru/citations?user=MUQcdkAAAAAJ&hl=ru Mikhail Batsyn] ('''2015'''). ''[https://www.sciencedirect.com/science/article/pii/S0305054815001549 Infra-chromatic bound for exact maximum clique search]''. [https://dblp.uni-trier.de/db/journals/cor/cor64.html Computers & Operations Research, Vol. 64, No. 4] | ||
| − | * [https://dblp.uni-trier.de/pers/hd/k/Komosko:Larisa Larisa Komosko], [https://scholar.google.ru/citations?user=MUQcdkAAAAAJ&hl=ru Mikhail Batsyn], [[Pablo San Segundo]], [https://en.wikipedia.org/wiki/Panos_M._Pardalos Panos M. Pardalos] ('''2016'''). ''[https://link.springer.com/article/10.1007/s10878-015-9862-1 A fast greedy sequential heuristic for the vertex colouring problem based on bitwise operations]''. [https://dblp.uni-trier.de/db/journals/jco/jco31.html Journal of Combinatorial Optimization, Vol. 31] | + | * [https://dblp.uni-trier.de/pers/hd/k/Komosko:Larisa Larisa Komosko], [https://scholar.google.ru/citations?user=MUQcdkAAAAAJ&hl=ru Mikhail Batsyn], [[Pablo San Segundo]], [https://en.wikipedia.org/wiki/Panos_M._Pardalos Panos M. Pardalos] ('''2016'''). ''[https://link.springer.com/article/10.1007/s10878-015-9862-1 A fast greedy sequential heuristic for the vertex colouring problem based on bitwise operations]''. [https://dblp.uni-trier.de/db/journals/jco/jco31.html Journal of Combinatorial Optimization, Vol. 31, No- 4] |
* [[Pablo San Segundo]], [https://dblp.uni-trier.de/pers/hd/a/Artieda:Jorge Jorge Artieda], [https://scholar.google.com/citations?user=BTW2e5AAAAAJ&hl=en Darren Strash] ('''2017'''). ''Efficiently Enumerating all Maximal Cliques with Bit-Parallelism''. [https://arxiv.org/abs/1801.00202 arXiv:1801.00202] | * [[Pablo San Segundo]], [https://dblp.uni-trier.de/pers/hd/a/Artieda:Jorge Jorge Artieda], [https://scholar.google.com/citations?user=BTW2e5AAAAAJ&hl=en Darren Strash] ('''2017'''). ''Efficiently Enumerating all Maximal Cliques with Bit-Parallelism''. [https://arxiv.org/abs/1801.00202 arXiv:1801.00202] | ||
Revision as of 22:32, 4 February 2019
Home * People * Pablo San Segundo
Pablo San Segundo [1]
Pablo San Segundo Carrillo,
a Spanish chess grandmaster, Spanish chess champion in 1997 and member of the Olympic team since 1994, computer scientist and associate professor at the Universidad Politécnica de Madrid (UPM).
His research interests include heuristics, combinatorics, game theory, graph theory, and AI search- and optimization problems in general, specially applying bitboards.
In their 2005 paper, Bitboards: A New Approach [2] , Pablo San Segundo and Ramón Galán mention Bitscan by Modulo for finding 1-bits in a very efficient and practically no space consuming way, at that time not aware of De Bruijn multiplication as proposed by Charles Leiserson et al. in 1998 [3], which is however mentioned in Segundo et al. 2011 on BBMC [4].
Contents
BITSCAN
Pablo San Segundo has released BITSCAN, an efficient C++ library for bitstrings which is optimized for scanning bit vectors of any size, and which he used to implement BBMC (BB-MaxClique), a state of the art maximum clique algorithm [5]. BBMC encodes the graph problem as bitstrings and uses bitmasks to implement the basic computations in the search. BITSCAN is publicly available a GitHub repository [6].
GRAPH
GRAPH, a small C++ library with a number of data types for bit-encoded graphs using BITSCAN has been released [7].
Selected Publications
2005 ...
- Pablo San Segundo, Ramón Galán (2005). Bitboards: A New Approach. AIA 2005
- Pablo San Segundo, Ramón Galán, Fernando Matía, Diego Rodríguez-Losada, Agustín Jiménez (2006). Efficient Search Using Bitboard Models. ICTAI 2006
- Pablo San Segundo, Diego Rodríguez-Losada, Ramón Galán , Fernando Matía, Agustín Jiménez (2007). Exploiting CPU Bit Parallel Operations to Improve Efficiency in Search. ICTAI 2007
- Pablo San Segundo, Agustín Jiménez (2007). Using Graphs to Derive CSP Heuristics and its Application to Sudoku. ICTAI 2009
2010 ...
- Pablo San Segundo, Diego Rodríguez-Losada, Fernando Matía, Ramón Galán (2010). Fast exact feature based data correspondence search with an efficient bit-parallel MCP solver. Applied Intelligence Vol. 32 No. 3 [9]
- Pablo San Segundo, Diego Rodríguez-Losada, Agustín Jiménez (2011). An exact bit-parallel algorithm for the maximum clique problem. Computers & Operations Research, Vol. 38, No. 2
- Pablo San Segundo (2011). New decision rules for exact search in N-Queens. Journal of Global Optimization, Vol. 51, No. 3
- Pablo San Segundo (2012). A new DSATUR-based algorithm for exact vertex coloring[. [https://dblp.uni-trier.de/db/journals/cor/cor39.html Computers & Operations Research, Vol. 39, No. 7
- Pablo San Segundo, Diego Rodríguez-Losada (2013). Robust Global Feature Based Data Association With a Sparse Bit Optimized Maximum Clique Algorithm. IEEE Transactions on Robotics, Vol. 29, No. 5
2015 ...
- Pablo San Segundo, Alexey Nikolaev, Mikhail Batsyn (2015). Infra-chromatic bound for exact maximum clique search. Computers & Operations Research, Vol. 64, No. 4
- Larisa Komosko, Mikhail Batsyn, Pablo San Segundo, Panos M. Pardalos (2016). A fast greedy sequential heuristic for the vertex colouring problem based on bitwise operations. Journal of Combinatorial Optimization, Vol. 31, No- 4
- Pablo San Segundo, Jorge Artieda, Darren Strash (2017). Efficiently Enumerating all Maximal Cliques with Bit-Parallelism. arXiv:1801.00202
External Links
- psanse (Pablo San Segundo) · GitHub
- Pablo San Segundo Carrillo from Wikipedia.es (Spanish)
- The chess games of Pablo San Segundo-Carrillo from chessgames.com
- Donostia-San Sebastian Chess Festival by David Llada, ChessBase news, June 17, 2009
References
- ↑ Pablo San Segundo at the 38th Chess Olympiad, Dresden 2008, Photo by Frank Hoppe, Pablo San Segundo Carrillo from Wikipedia.es (Spanish)
- ↑ Pablo San Segundo, Ramón Galán (2005). Bitboards: A New Approach. AIA 2005
- ↑ Charles E. Leiserson, Harald Prokop, Keith H. Randall (1998). Using de Bruijn Sequences to Index a 1 in a Computer Word. pdf
- ↑ Pablo San Segundo, Diego Rodríguez-Losada, Agustín Jiménez (2011). An exact bit-parallel algorithm for the maximum clique problem. Computers & Operations Research, Vol. 38, No. 2, 2 Preliminaries 2.2 Bit-parallel computation
- ↑ Pablo San Segundo, Diego Rodríguez-Losada, Agustín Jiménez (2011). An exact bit-parallel algorithm for the maximum clique problem. Computers & Operations Research, Vol. 38, No. 2
- ↑ GitHub - psanse/bitscan: C++ library for bit twiddling
- ↑ GitHub - psanse/graph: graph library for bit-encoded graphs with BITSCAN
- ↑ dblp: Pablo San Segundo
- ↑ Clique problem from Wikipedia
