Original languageUndefined/Unknown
Title of host publicationTheory and applications of satisfiability testing
EditorsF Bacchus, T Walsh
Place of PublicationBerlin
PublisherSpringer
Pages294-308
Number of pages15
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

  • Wiskunde en Informatica, Techniek, technische Wiskunde en Informatica, conference contrib. refereed, ZX CWTS JFIS < 1.00

ID: 1882981