FLOPS
2010
Springer
13 years 11 months ago
2010
Springer
FLOPS
2010
Springer
13 years 11 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
13 years 11 months ago
2010
Springer
FLOPS
2010
Springer
13 years 11 months ago
2010
Springer
FLOPS
2010
Springer
13 years 11 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...