commit 78f7092313c7aee29c38ccc6147a4844eb970e73
parent d40187228225de450c82d92d4c59a822de1d491f
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Wed, 7 May 2025 11:46:23 +0200
commit with codex
Diffstat:
4 files changed, 29 insertions(+), 5 deletions(-)
diff --git a/enumeration_circuit b/enumeration_circuit
@@ -8,6 +8,8 @@ Harder than [satisfiability_boolean] so [np_hard] on general [boolean_circuit]
[enumeration_sdnnf]
+[decolnet2023complexity]: [enumeration] of [prime_implicant] on [decision_DNNF]
+
Up: [enumeration] on [boolean_circuit]
See also: [enumeration_via_circuit]
diff --git a/nobdd b/nobdd
@@ -0,0 +1,11 @@
+# NOBDD
+
+[obdd] [nondeterministic]
+
+[sauerhoff2003guess]: in an nOBDD, imposing that nondetermistic guesses are at the beginning can cause an exponential blowup
+
+- [nobdd_model_counting]
+
+See also: [nrobp]
+
+Up: [nfbdd]
diff --git a/satisfiability b/satisfiability
@@ -2,11 +2,7 @@
The *satisfiability problem* is a [decision_problem] in [logic]: given a [logical_theory], decide if it has a [model]
-- [first_order_logic] with two variables is decidable also with equality, cf <www.cs.rice.edu/~vardi/papers/dimacs96.ps.gz>, page 10
- - on trees with ancestor/descendant, difficult [open_problems], cf [bojanczyk2006two]
- - [vector_addition_tree_automata] ([degroote2004vector]), like [vector_addition_system]
-- [kontchakov2005undecidability]: [first_order_logic] with three variables is [undecidable] even without [constants] or [equality]
- - [david2010satisfiability] bottom of p10: even on [data_trees]
+- [satisfiability_FO]
- [satisfiability_boolean]
- [satisfiability_cnf]
- [QBF]: http://www.qbflib.org/
diff --git a/wedding b/wedding
@@ -0,0 +1,15 @@
+# Wedding
+
+- [wedding_jh] avec [JH]
+- [wedding_ixce] avec [iXce]
+- [wedding_fabian] avec [fabian]
+- [wedding_helene] avec [helene_pfeil]
+- [wedding_papa] avec [papa] et [frederique]
+- [wedding_katarina] [katarina]
+- [wedding_naoki] avec [naoki] et [marie_julie]
+- [wedding_anne] avec [anne_fustier]
+- [wedding_julien_oana] avec [julien] et [oana]
+- [wedding_ted] avec [ted] et [theresia]
+- [wedding_kiki_marie] avec [kiki] et [marie_fertig]
+
+Up: [marriage]
