SATLIB: An Online Resource for Research on SAT 论文

2000引用 312
Constraint Satisfaction and OptimizationFormal Methods in VerificationLogic, programming, and type systems
Logic, programming, and type systemsFormal Methods in VerificationConstraint Satisfaction and Optimization
相关技术:Constraint Satisfaction and OptimizationFormal Methods in Verification
关系图谱

SATLIB: An Online Resource for Research on SAT · 作者

T

Toby Walsh

H

Hans van Maaren

I

Ian P. Gent

T

Thomas Stützle

H

Holger H. Hoos