m-chrzan.xyz
aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcin Chrzanowski <mc370754@students.mimuw.edu.pl>2021-12-09 15:24:10 +0100
committerMarcin Chrzanowski <mc370754@students.mimuw.edu.pl>2021-12-09 15:24:10 +0100
commitf8bfe88bec5058ad29056f7dba9fec345a512350 (patch)
tree9e9b0a6c9669616eb987fbc5cf753967cff9f5e6
parent003b0e63e46ae0d3f6571418f9c5b66b6fcaaab9 (diff)
Remove hyphens
-rw-r--r--mgr.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/mgr.tex b/mgr.tex
index 56bfdb1..eb086ba 100644
--- a/mgr.tex
+++ b/mgr.tex
@@ -151,7 +151,7 @@ Query answering is one generatlization of model checking to the case of formulae
with free variables. Another related one is \definedterm{query enumeration}.
Similar to query answering, we again allow the structure and query to be
preprocessed. Then, instead of answering individual questions about valuations,
-we are interested in outputting all the satisfying valuations one-by-one.
+we are interested in outputting all the satisfying valuations one by one.
The complexity class \constantdelaylin\ refers to those enumeration problems in
which the preprocessing step takes linear time and the delay between each