FLOPS
2010
Springer
14 years 6 months ago
2010
Springer
FLOPS
2010
Springer
14 years 6 months ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
FLOPS
2010
Springer
14 years 6 months ago
2010
Springer
FLOPS
2010
Springer
14 years 6 months ago
2010
Springer
FLOPS
2010
Springer
14 years 6 months ago
2010
Springer
A succinct SAT solver is presented that exploits the control provided by delay declarations to implement watched literals and unit propagation. Despite its brevity the solver is su...