Kazuo Iwama et al.: Improved Randomized Algorithms for 3-SAT. (2010)conf/isaac/IwamaSTT1010.1007/978-3-642-17517-6_9Improved Randomized Algorithms for 3-SAT.4Kazuo Iwama1Kazuhisa Seto2Tadashi Takai3Suguru Tamaki473-84ISAAC (1)ISAAC (1)20102010provenance information for RDF data of dblp record 'conf/isaac/IwamaSTT10'2023-09-30T09:49:41+0200