Open AccessA Local Search Algorithm for SMTI and its extension to HRT Problems
Author(s) -
Danny Múnera,
Daniel Díaz,
Salvador Abreu,
Francesca Rossi,
Vijay Saraswat,
Philippe Codognet
Publication year - 2015
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - solver , extension (predicate logic) , matching (statistics) , problem solver , computer science , mathematical optimization , algorithm , class (philosophy) , local search (optimization) , work (physics) , matching pursuit , mathematics , artificial intelligence , statistics , engineering , programming language , mechanical engineering , compressed sensing