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

Tomi Janhunen, Shahab Tasharrofi, Eugenia Ternovska

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

Sormenjälki Sukella tutkimusaiheisiin 'SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Engineering & Materials Science