22 citations · 25 across the 5 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
Junjie Sheng, Yanqiu Lin, Jiehao Wu +4
The Satisfiability (SAT) problem is a core challenge with significant applications in software engineering, including automated testing, configuration management, and program verif…
cs.SE2013★ 1 cited
Apricot - An Object-Oriented Modeling Language for Hybrid Systems
Huixing Fang, Huibiao Zhu, Jianqi Shi
We propose Apricot as an object-oriented language for modeling hybrid systems. The language combines the features in domain specific language and object-oriented language, that fil…