Publication:3624016
From MaRDI portal
zbMath1182.68152arXiv1109.2347MaRDI QIDQ3624016
Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov, Arathi Ramani
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
Improved Computational Approaches and Heuristics for Zero Forcing, Packing and partitioning orbitopes, Stable states of Boolean regulatory networks composed over hexagonal grids, Breaking symmetries in graph search with canonizing sets, Search techniques for SAT-based Boolean optimization
Uses Software