Computer scientists have mathematically proven what many have long suspected: for certain types of Boolean logic puzzles, there simply is no clever shortcut.
Disclaimer: AAAS and EurekAlert! are not responsible for the accuracy of news releases posted to EurekAlert! by contributing institutions or for the use of any information through the EurekAlert system.
