The automated synthesis of correct-by-construction Boolean functions from logical specifications is known as the Boolean Functional Synthesis (BFS) problem. BFS has many application areas that range from software engineering to circuit design. In this paper, we introduce a tool BNSynth, that is the first to solve the BFS problem under a given bound on the solution space. Bounding the solution space induces the synthesis of smaller functions that benefit resource constrained areas such as circuit design. BNSynth uses a counter-example guided, neural approach to solve the bounded BFS problem. Initial results show promise in synthesizing smaller solutions; we observe at least \textbf{3.2X} (and up to \textbf{24X}) improvement in the reduction of solution size on average, as compared to state of the art tools on our benchmarks. BNSynth is available on GitHub under an open source license.

Boolean functional synthesis is a fundamental problem in computer science with wide-ranging applications and has witnessed a surge of interest resulting in progressively improved techniques over the past decade. Despite intense algorithmic development, a large number of problems remain beyond the reach of the state of the art techniques. Motivated by the progress in machine learning, we propose Manthan, a novel data-driven approach to Boolean functional synthesis. Manthan views functional synthesis as a classification problem, relying on advances in constrained sampling for data generation, and advances in automated reasoning for a novel proof-guided refinement and provable verification. On an extensive and rigorous evaluation over 609 benchmarks, we demonstrate that Manthan significantly improves upon the current state of the art, solving 356 benchmarks in comparison to 280, which is the most solved by a state of the art technique; thereby, we demonstrate an increase of 76 benchmarks over the current state of the art. Furthermore, Manthan solves 60 benchmarks that none of the current state of the art techniques could solve. The significant performance improvements, along with our detailed analysis, highlights several interesting avenues of future work at the intersection of machine learning, constrained sampling, and automated reasoning.

Changes are rampant in the retail industry. Every day we hear of both big brands (and small ones) closing shop or downsizing in an effort to stay lean and competitive. To understand in depth what's happening in the retail landscape, we spoke to Doug Stephens. Doug is the founder of Retail Prophet, and one of the world's foremost retail industry futurists. The author of two groundbreaking books on retail, a nationally syndicated retail columnist, and over 20 years of experience in the retail industry, Doug brings together his unique perspective to provide Manthan with his insights on retailing, technology and consumer behavior.

We caught up with Dr. Mark Chrystal, Chief Analytics Officer at rue21 to understand more about how he perceives the role of analytics in retail today, his upcoming talk at NRF's Big Show and the future of retail. MANTHAN: In your role as the Chief Analytics Officer, what would you say is the biggest challenge facing rue21 in 2019? MARK: The biggest challenge I face is the ability to explain what is happening in the industry and more importantly, with our current, lapsed and potential customers. My job is to help the business navigate the environment and provide insights that help chart a course to success. This is particularly challenging in the current retail environment and for a company that is in the midst of a turnaround.

Make your customer the focus of every merchandise, marketing, store and supply chain decision and use artificial intelligence powered prescriptions to take the right decisions for your customers, every time. Manthan is a leading cloud analytics company that has pioneered analytical applications for consumer-facing businesses. We excel in the application of decision sciences, advanced math, and artificial intelligence and have a restless ability to invent and bring ideas to life.

Upcoming Webinar To be Presented on June 2, 2017 at 12PM ET Webinar Topics: Customer Experience, Customer Relationship A decade of aggressive mass promotions is contributing to lower customer engagement rates, reducing ROI to less than 1% and leading to high unsubscribe rates. It is time to make the change towards optimizing promotional strategies with better customer insights. Join Forrester's Senior Analyst Brandon Purcell, Charming Charlie's Ujwal Dhoot, VP – Marketing & eCommerce, and Manthan's Varij Saurabh, Director, Customer Analytics as they provide insights into how AI will impact marketing and how it can help marketers solve key customer marketing challenges. In this webinar, you'll learn about: • How AI impacts marketing? FEATURED PANELISTS: Brandon Purcell, Senior Analyst, Forrester Brandon serves Customer Insights Professionals, covering customer analytics and artificial intelligence.

This week Manthan catches up with AI expert and influencer, Dr. Craig Brown. Craig is a "techpreneur" and big data subject matter expert. The CEO of STEM Resource Partners, Craig works diligently to increase the use of natural everyday language in technical fields to help facilitate the conversation between tech companies and professionals. MANTHAN: How has the growing complexity of data, driven AI development? CRAIG: The increase in machine learning and cognitive computing capabilities and the data that is generated, as a result of these capabilities, is a major contributor to AI development.

Manthan is the Chief Analytics Officer for consumer industries worldwide. Manthan's portfolio of analytics-enabled business applications, advanced analytics platforms and solutions are architected to help users across industries walk the complete data-to-result path - analyze, take guided decisions and execute these decisions real-time. Sophisticated, yet intuitive analytical capability coupled with the power of big data, mobility and cloud computing, brings users business-ready applications that provide on-demand access and real-time execution - the only path to profit in a contemporary, on-demand and connected economy. Manthan is one of the most awarded analytics innovators among analysts and customers alike. To see how your business can gain from analytics, Visit www.manthan.com

I can sift through millions of data points, analyze them using sophisticated analytics models and respond with answers in seconds! I'm also learning continuously to improve recommendations as we go along." This creates new users and unbelievably new usages for Analytics Maya's Causality Model uses Machine Learning and Neural networks to predict and explain cause and effect.