Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure.
Martin FränzleChristian HerdeTino TeigeStefan RatschanTobias SchubertPublished in: J. Satisf. Boolean Model. Comput. (2007)
Keyphrases
- complex systems
- computer systems
- management system
- constraint solvers
- computationally expensive
- bayesian networks
- complex structures
- information systems
- constraint programming
- structural information
- computationally intensive
- query processing
- expert systems
- building blocks
- constraint satisfaction problems
- learning systems
- changing environment
- floating point
- indexing structure
- physical systems
- real world