Incorporating Clause Learning in Grid-Based Randomized SAT Solving

Tutkimustuotos: Lehtiartikkeli

Tutkijat

Organisaatiot

Yksityiskohdat

AlkuperäiskieliEnglanti
Sivut223-244
JulkaisuJournal of Satisfiability, Boolean Modeling and Computation
Vuosikerta6
TilaJulkaistu - 2009
OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

ID: 3582349