Author of the publication

A Theoretical Analysis of the k-Satisfiability Search Space.

, , and . SLS, volume 5752 of Lecture Notes in Computer Science, page 46-60. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Special issue: perspectives on recent intelligent agents research as viewed through two conferences., and . Knowl. Eng. Rev., 13 (2): 129-130 (1998)Computing the moments of k-bounded pseudo-Boolean functions over Hamming spheres of arbitrary radius in polynomial time., , and . Theor. Comput. Sci., (2012)Second order partial derivatives for NK-landscapes., , , and . GECCO, page 503-510. ACM, (2013)Dominic: A Domain-Independent Program for Mechanical Engineering Design., , , and . Artif. Intell. Eng., 1 (1): 23-28 (1986)Scheduling Space-Ground Communications for the Air Force Satellite Control Network., , , and . J. Sched., 7 (1): 7-34 (2004)Learning to Race: Experiments with a Simulated Race Car., and . FLAIRS, page 357-361. AAAI Press, (1998)Incremental clustering for profile maintenance in information gathering web agents., and . Agents, page 262-269. ACM, (2001)Program understanding behaviour during enhancement of large-scale software., , and . Journal of Software Maintenance, 9 (5): 299-327 (1997)AFSCN scheduling: How the problem and solution have evolved., , and . Math. Comput. Model., 43 (9-10): 1023-1037 (2006)Modelling Discrete Event Sequences as State Transition Diagrams., and . IDA, volume 1280 of Lecture Notes in Computer Science, page 573-584. Springer, (1997)