wiki_research

commit 4f1b41f01f5dfff76965a6880257592fb6414ac8
parent 040c2c73d995590bd477fd306451fbc68318fcb8
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Tue,  7 Jan 2025 10:56:11 +0100

commit with codex

Diffstat:
boolean_formula
 | 
2
++
satisfiability_weighted
 | 
3
+--

2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/boolean_formula b/boolean_formula
@@ -12,3 +12,5 @@ An [expression] which represents a [boolean_function], built from [literals] usi
 Up: [representation] of [boolean_function]
 
 See also: [boolean_circuit], [knowledge_compilation_classes]
+
+Aliases: formula boolean
diff --git a/satisfiability_weighted b/satisfiability_weighted
@@ -1,7 +1,6 @@
 # Weighted satisfiability
 
-creignou2012satisfiability: given a [formula_boolean] phi and integer k, decide
-if phi has a [satisfying_assignment] of [hamming_weight] exactly k
+[creignou2012satisfiability]: given a [Boolean_formula] phi and [integer] k, decide if phi has a [satisfying_assignment] of [hamming_weight] exactly k
 
 - [satisfiability_weighted_monotone_cnf]