"bitvy"@cs .