BIJM Code 2014
Below are pdf files of the sage code used in computer aided proofs for On (t,r) Broadcast Domination Numbers of Grids.
(2,2) Broadcast Domination Check text
(2,2) Broadcast Domination Pattern Check text
(3,1) Broadcast Domination text
(3,1) Broadcast Domination Pattern Check text
(3,2) Broadcast Domination Check text