about
description
wetenschappelijk artikel
@nl
наукова стаття, опублікована у 2008
@uk
name
Chapter 2 Satisfiability Solvers
@en
Chapter 2 Satisfiability Solvers
@nl
type
label
Chapter 2 Satisfiability Solvers
@en
Chapter 2 Satisfiability Solvers
@nl
prefLabel
Chapter 2 Satisfiability Solvers
@en
Chapter 2 Satisfiability Solvers
@nl
P1476
Chapter 2 Satisfiability Solvers
@en
P2093
Ashish Sabharwal
Henry Kautz
P304
P356
10.1016/S1574-6526(07)03002-7
P577
2008-01-01T00:00:00Z