Incorporating Clause Learning in Grid-Based Randomized SAT Solving

Research output: Contribution to journalArticleScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Pages (from-to)223-244
JournalJournal of Satisfiability, Boolean Modeling and Computation
Volume6
Publication statusPublished - 2009
MoE publication typeA1 Journal article-refereed

ID: 3582349