Original languageUndefined/Unknown
Pages (from-to)47-59
Number of pages13
JournalJournal on Satisfiability, Boolean Modeling and Computation
Volume2
Issue number1-4
Publication statusPublished - 2006

    Research areas

  • Peer-lijst tijdschrift

ID: 1256309