权威例句
Generating Satisfiable Problem Instances
Approximating satisfiable satisfiability problems
Conditional hardness for satisfiable 3-CSPs
Approximating Satisfiable Satisfiability Problems (Extended Abstract)
A simple model to generate hard satisfiable instances
A spectral technique for random satisfiable 3CNF formulas
Finding maximally satisfiable terminologies for the description logic ALC
Balance and filtering in structured satisfiable problems
Random constraint satisfaction: easy generation of hard (satisfiable) instances
Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas