SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators

Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference contribution › Scientific › vertaisarvioitu

Hakutulokset