[trivial] Add author names to delete relaxation constraint documentat…

…ion.
aibasel · Oct 7, 2024 · 3ff4081 · 3ff4081
1 parent 45e1e6f
commit 3ff4081
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/search/operator_counting/delete_relaxation_if_constraints.cc b/src/search/operator_counting/delete_relaxation_if_constraints.cc
@@ -241,7 +241,7 @@ class DeleteRelaxationIFConstraintsFeature
     : public plugins::TypedFeature<ConstraintGenerator, DeleteRelaxationIFConstraints> {
 public:
     DeleteRelaxationIFConstraintsFeature() : TypedFeature("delete_relaxation_if_constraints") {
-        document_title("Delete relaxation constraints");
+        document_title("Delete relaxation constraints from Imai and Fukunaga");
         document_synopsis(
             "Operator-counting constraints based on the delete relaxation. By "
             "default the constraints encode an easy-to-compute relaxation of h^+^. "