Sökning: "Bart Selman"

Hittade 1 avhandling innehållade orden Bart Selman.

1. 1. On state space structure and average case complexity in random K-SAT problems

   Författare :John Ardelius; Erik Aurell; Bart Selman; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Sammanfattning : This thesis gives an introduction to a currently active area in the cross-section between theoretical computer science and theoretical physics. In the last ten years it has been suggested that critical behaviour, usually seen in models from condensed matter physics, may be responsible for the intractability of NP complete computation problems. LÄS MER