3d mesh boolean operations

Hey guys, I'm interested in using boolean operations on 3D meshes in real-time. Most 3D modelling software supports these; for example with two partially overlapping spheres, you can take the boolean union which merges them, or boolean subtraction or intersection, etc. The result is one mesh.

Does anyone have experience with these kinds of calculations? Is there anywhere I can read up on them? Is there an existing library that does them? I've tried searching around, but all I get is tutorials on using them in 3d modellers.

What about more complex operations, like mesh smoothing through tesselation?

There's a PHP function for that.

I was looking at this a year or so ago (I wondered how brush subtraction was done in Quake-family map editors).  Didn't get too far, but there's another search term worth trying:

http://en.wikipedia.org/wiki/Constructive_solid_geometry

>>2
Get the fuck out, you're killing this board.