The naive representation that you're pointing at would indeed be very slow. Better representations examine the language of the problem as you describe it and th

The naive representation that you're pointing at would indeed be very slow. Better representations examine the language of the problem as you describe it and then build efficient factor graph representations of your problem and do message passing simulation (see Factorie).