1,258 followers
Satisfiability Modulo Transcendental Functions via Incremental Linearization. https://t.co/jtxacMcZxS
Satisfiability Modulo Transcendental Functions via Incremental Linearization. https://t.co/jtxacMcZxS
"Satisfiability Modulo Transcendental Functions via Incremental Linearization. (arXiv:1801.08723v1 [cs.LO])" #arXiv https://t.co/D2xazhF7WF