Exact Satisfiabitity with Jokers.

Gordon Hoi, Sanjay Jain, Sibylle Schwarz, Frank Stephan

Browse the full TAMC paper archive.