1. Adopting Formal Methods in an Industrial Setting: The Railways Case;ter Beek,2019
2. Bounded model checking;Biere;Adv. Comput.,2003
3. CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling Entering the SAT Competition 2020;Biere,2020
4. Frontiers in Artificial Intelligence and Applications,2009
5. Successful SAT Encoding Techniques;Björk;J. Satisf. Boolean Model. Comput.,2011