Publication:3624016
From MaRDI portal
zbMath1182.68152arXiv1109.2347MaRDI QIDQ3624016
Igor L. Markov, Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah
Publication date: 28 April 2009
Full work available at URL: https://arxiv.org/abs/1109.2347
68R10: Graph theory (including graph drawing) in computer science
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Packing and partitioning orbitopes, Breaking symmetries in graph search with canonizing sets, Search techniques for SAT-based Boolean optimization
Uses Software