Author:
Kroening Daniel,Strichman Ofer
Publisher
Springer Berlin Heidelberg
Cited by
69 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Satisfiability.jl: Satisfiability Modulo Theories in
Julia;Journal of Open Source Software;2024-08-20
2. Succinct ordering and aggregation constraints in algebraic array theories;Journal of Logical and Algebraic Methods in Programming;2024-08
3. Reaction mining for reaction systems;Natural Computing;2024-06
4. Control design of discrete-time unicycle model using satisfiability modulo theory;Systems Science & Control Engineering;2024-02-22
5. From Decision Models To User-Guiding Configurators Using SMT;Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems;2024-02-07