Project TicKet's backend searching kernel