权威例句
Generating Satisfiable Problem InstancesApproximating satisfiable satisfiability problemsConditional hardness for satisfiable 3-CSPsApproximating Satisfiable Satisfiability Problems (Extended Abstract)A simple model to generate hard satisfiable instancesA spectral technique for random satisfiable 3CNF formulasFinding maximally satisfiable terminologies for the description logic ALCBalance and filtering in structured satisfiable problemsRandom constraint satisfaction: easy generation of hard (satisfiable) instancesExponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas