Pushkin R. Pari et al.: Generating 'Random' 3-SAT Instances with Specific Solution Space Structure. (2004)conf/aaai/PariLYQ04Generating 'Random' 3-SAT Instances with Specific Solution Space Structure.4Pushkin R. Pari1Jane Lin2Lin Yuan3Gang Qu 00014960-961AAAIAAAI20042004provenance information for RDF data of dblp record 'conf/aaai/PariLYQ04'2023-09-05T08:59:28+0200