Select author: all Bodirsky, ManuelBotlan, DidierBrown, ChadBrunklaus, ThorstenDebusmann, RalphDoczkal, ChristianDuchier, DenysDudenhefner, AndrejErk, KatrinForster, YannickHenz, MartinKaiser, JonasKaminski, MarkKirst, DominikKornstaedt, LeifKuhlmann, MarcoKunze, FabianLichter, MoritzMehl, MichaelMöhl, MathiasMüller, MartinMüller, TobiasNiehren, JoachimPriesnitz, TimRossberg, AndreasSchäfer, StevenScheidhauer, RalfSchneider, SigurdSchwinghammer, JanSmolka, GertStark, KathrinStraßburger, LutzTack, GuidoTebbi, TobiasTreinen, RalfWalser, JoachimWürtz, Jörg
Tuning local search for satisfiability testing (pdf) A.J. Parkes, Joachim Paul Walser Proceedings of the thirteenth national conference on artificial intelligence (AAAI '96)
Login to edit