OAI/Probability/SATComputability/RelaxedEnergy.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.FixedClauseThreshold.Computability.relaxedMinimumViolations line 10
2. theorem OAI.FixedClauseThreshold.Computability.relaxedMinimum_attained line 16
3. theorem OAI.FixedClauseThreshold.Computability.relaxedMinimum_le line 22
4. theorem OAI.FixedClauseThreshold.Computability.relaxedMinimum_gt_of_deletion_unsat line 27
5. theorem OAI.FixedClauseThreshold.Computability.relaxedLogPartition_lower line 35
6. theorem OAI.FixedClauseThreshold.Computability.relaxedLogPartition_upper line 47
7. theorem OAI.FixedClauseThreshold.Computability.relaxedMinimum_time_lower line 68