|
Search the dblp DataBase
Kevin Smyth:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Kevin Smyth, Holger H. Hoos, Thomas Stützle
Iterated Robust Tabu Search for MAX-SAT. [Citation Graph (0, 0)][DBLP] Canadian Conference on AI, 2003, pp:129-144 [Conf]
- Ian P. Gent, Holger H. Hoos, Andrew G. D. Rowley, Kevin Smyth
Using Stochastic Local Search to Solve Quantified Boolean Formulae. [Citation Graph (0, 0)][DBLP] CP, 2003, pp:348-362 [Conf]
- Holger H. Hoos, Kevin Smyth, Thomas Stützle
Search Space Features Underlying the Performance of Stochastic Local Search Algorithms for MAX-SAT. [Citation Graph (0, 0)][DBLP] PPSN, 2004, pp:51-60 [Conf]
Predictability & criticality metrics for coordination in complex environments. [Citation Graph (, )][DBLP]
Multi-agent systems for the real world. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|