𝜱ΔΓΞΨβαΘπξ

Drink Lecture BetterBe

Where: Abscint

Wednesday 15 March 2023 from 16:00 until 20:00

Download iCal file

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.

Photo albums of this activity