Lecture 2/11: Satisfiability Modulo Theories, Part I. Bundala, D. & Seshia, S. A bibtex @article{bundala_lecture_nodate,
title = {Lecture 2/11: {Satisfiability} {Modulo} {Theories}, {Part} {I}},
language = {en},
author = {Bundala, Daniel and Seshia, Sanjit A},
}
Downloads: 0
{"_id":"W35tnZhPv89ffPrJf","bibbaseid":"bundala-seshia-lecture211satisabilitymodulotheoriesparti","author_short":["Bundala, D.","Seshia, S. A"],"bibdata":{"bibtype":"article","type":"article","title":"Lecture 2/11: Satisfiability Modulo Theories, Part I","language":"en","author":[{"propositions":[],"lastnames":["Bundala"],"firstnames":["Daniel"],"suffixes":[]},{"propositions":[],"lastnames":["Seshia"],"firstnames":["Sanjit","A"],"suffixes":[]}],"bibtex":"@article{bundala_lecture_nodate,\n\ttitle = {Lecture 2/11: {Satisfiability} {Modulo} {Theories}, {Part} {I}},\n\tlanguage = {en},\n\tauthor = {Bundala, Daniel and Seshia, Sanjit A},\n}\n\n\n\n","author_short":["Bundala, D.","Seshia, S. A"],"key":"bundala_lecture_nodate","id":"bundala_lecture_nodate","bibbaseid":"bundala-seshia-lecture211satisabilitymodulotheoriesparti","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/zotero/abhishek-p","dataSources":["h7kKWXpJh2iaX92T5"],"keywords":[],"search_terms":["lecture","satis","ability","modulo","theories","part","bundala","seshia"],"title":"Lecture 2/11: Satisfiability Modulo Theories, Part I","year":null}