Solving SAT and SAT Modulo Theories 论文

2006Journal of the ACM引用 774
DOI
Formal Methods in VerificationLogic, programming, and type systemsConstraint Satisfaction and Optimization
Logic, programming, and type systemsFormal Methods in VerificationConstraint Satisfaction and Optimization
相关技术:Constraint Satisfaction and OptimizationFormal Methods in Verification
关系图谱

Solving SAT and SAT Modulo Theories · 作者

C

Cesare Tinelli

A

Albert Oliveras

R

Robert Nieuwenhuis