BetterBe uses a logical business rule engine to search and manage trillions of possible car configurations spread over thousands of vehicles. But in an age of good optimisation of SAT (satisfiability) solvers, why would anyone still write their own logical rule engine?The trouble is that often in real world situations you need to deal with:

- Contradicting rules

- Skipping certain classes of rules

- Analysing which specific rule becomes a problem

- Application specific optimisation needs

- Language restrictions

Those obstacles will not totally prevent SAT solvers but might make switching to them impractical. If you are wondering how BetterBe overcomes these challenges, come to the lecture and have a few drinks with us.