Publication:4472553
From MaRDI portal
zbMath1044.68738MaRDI QIDQ4472553
Frédéric Benhamou, Frédéric Goualard
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1894/18940067.htm
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Quantified constraints under perturbation, A comparison of complete global optimization solvers, On a decision procedure for quantified linear programs