Original languageUndefined/Unknown
Title of host publicationTheory and applications of satisfiability testing
EditorsF Bacchus, T Walsh
Place of PublicationBerlin
PublisherSpringer
Pages122-134
Number of pages13
ISBN (Print)3-540-26276-8
Publication statusPublished - 2005
EventEighth International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scotland - Berlin
Duration: 19 Jun 200523 Jun 2005

Publication series

Name
PublisherSpringer
NameLecture Notes in Computer Science
Volume3569
ISSN (Print)0302-9743

Conference

ConferenceEighth International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scotland
Period19/06/0523/06/05

    Research areas

  • conference contrib. refereed, ZX CWTS JFIS < 1.00

ID: 3489621