Bit-Precise Reasoning via Int-Blasting.
Yoni ZoharAhmed IrfanMakai MannAina NiemetzAndres NötzliMathias PreinerAndrew ReynoldsClark W. BarrettCesare TinelliPublished in: VMCAI (2022)
Keyphrases
- reasoning systems
- spatial reasoning
- endpoints
- reasoning process
- fuzzy reasoning
- knowledge base
- knowledge representation
- probabilistic reasoning
- automated reasoning
- model based reasoning
- bit vectors
- database
- reasoning engine
- reasoning mechanism
- reasoning problems
- consistency checking
- reasoning tasks
- qualitative reasoning
- graphical representation
- case study
- real time