Works matching IS 14324350 AND DT 2007 AND VI 40 AND IP 3

Results: 4
    1
    2

    Randomized Algorithms for 3-SAT.

    Published in:
    Theory of Computing Systems, 2007, v. 40, n. 3, p. 249, doi. 10.1007/s00224-005-1275-6
    By:
    • Hofmeister, Thomas;
    • Schoning, Uwe;
    • Schuler, Rainer;
    • Watanabe, Osamu
    Publication type:
    Article
    3

    Efficient Exploration of Faulty Trees.

    Published in:
    Theory of Computing Systems, 2007, v. 40, n. 3, p. 225, doi. 10.1007/s00224-005-1252-0
    By:
    • Markou, Euripides;
    • Pelc, Andrzej
    Publication type:
    Article
    4