Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure1 论文

2007Journal on Satisfiability Boolean Modeling and Computation引用 311
DOIPDF
Constraint Satisfaction and OptimizationFormal Methods in VerificationLogic, Reasoning, and Knowledge
Logic, Reasoning, and KnowledgeFormal Methods in VerificationConstraint Satisfaction and Optimization
相关技术:Constraint Satisfaction and OptimizationFormal Methods in Verification
关系图谱

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure1 · 作者

T

Tobias Schubert

S

Stefan Ratschan

T

Tino Teige

C

Christian Herde

M

Martin Fränzle