Works matching IS 00015903 AND DT 2007 AND VI 44 AND IP 7/8

Results: 6
    1

    Acknowledgement to Referees.

    Published in:
    Acta Informatica, 2007, v. 44, n. 7/8, p. 625, doi. 10.1007/s00236-007-0063-y
    Publication type:
    Article
    2
    3

    Recursive Petri nets.

    Published in:
    Acta Informatica, 2007, v. 44, n. 7/8, p. 463, doi. 10.1007/s00236-007-0055-y
    By:
    • Haddad, Serge;
    • Poitrenaud, Denis
    Publication type:
    Article
    4
    5

    Solving #SAT using vertex covers.

    Published in:
    Acta Informatica, 2007, v. 44, n. 7/8, p. 509, doi. 10.1007/s00236-007-0056-x
    By:
    • Nishimura, Naomi;
    • Ragde, Prabhakar;
    • Szeider, Stefan
    Publication type:
    Article
    6