https://sirius-labs.no/seminar-august-23-2019-sat-and-smt-based-automated-reasoning/ Centre for Scalable Data Access in the Oil and Gas Domain Thu, 22 Aug 2019 10:13:35 +0000 hourly 1 https://wordpress.org/?v=6.8.2