ScalingupHybridProbabilisticInferencewithlogicalandArithmeticConstraintsviaMessagePassingZheZeng1PaoloMorettin2FanqiYan3AntonioVergari1GuyVandenBroeck1Abstractmodelforthistaskhastodealwithcontinuou...
SATNet:BridgingdeeplearningandlogicalreasoningusingadifferentiablesatisfiabilitysolverPo-WeiWang1PriyaL.Donti12BryanWilder3ZicoKolter14Abstract1.IntroductionIntegratinglogicalreasoningwithindeeplea...