Word:

incremental constraint solver

incremental constraint solver - A system in which a constraint solver is given constraints one at a time by an inference engine (as is found in Prolog). The solver adds the new constraint to an initially empty set of solved constraints. If the new constraint is consistent with the solved constraints it will be added to the set. If it was inconsistent, the inference engine backtracks. This is the basis of Constraint Logic Programming.
Browse
Incredibility
Incredible
Incredibleness
Incredibly
Incredited
Incredulity
Incredulous
Incredulously
Incredulousness
Incremable
Incremate
Incremation
Increment
Incremental
incremental analysis
incremental backup
-- incremental constraint solver --
incremental cost
Incremental Prototyping Technology for Embedded Realtime Systems
Increpate
Increpation
Increscent
Increst
Incriminate
incriminating
incriminatingly
Incrimination
Incriminatory
Incroyable
Incruental
Incrust
Incrustate
Incrustation
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy