Login / Signup
On the Detection of Implicit and Redundant Numeric Constraint in CLP Programs.
Roberto Bagnara
Published in:
GULP-PRODE (1) (1994)
Keyphrases
</>
automatic detection
numeric data
detection rate
detection algorithm
detection scheme
detection method
database
detection accuracy
constraint solving
constraint logic programming
operating system
false positives
object detection
target detection
programming environment
constraint solver
information systems