OAI/Probability/SATComputability/SATVariational.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FixedClauseThreshold.Computability.satPressure line 15
2. theorem OAI.FixedClauseThreshold.Computability.satPressure_tendsto line 18
3. theorem OAI.FixedClauseThreshold.Computability.relaxedPressure_tendsto line 37
4. theorem OAI.FixedClauseThreshold.Computability.satPressure_le_rational_trial line 44
5. theorem OAI.FixedClauseThreshold.Computability.exists_rational_trial_near_pressure line 53
6. theorem OAI.FixedClauseThreshold.Computability.exists_fully_rational_trial_near_pressure line 70
7. theorem OAI.FixedClauseThreshold.Computability.negative_pressure_has_rational_trial line 86