Programming and training rate-independent chemical reaction networks

por Vasić, Marko, Chalk, Cameron, Luchsinger, Austin, Khurshid, Sarfraz, Soloveichik, David
Publicado 2022

A Study of Symmetry Breaking Predicates and Model Counting

por Wang, Wenxi, Usman, Muhammad, Almaawi, Alyas, Wang, Kaiyuan, Meel, Kuldeep S., Khurshid, Sarfraz
Publicado 2020