From f8bfe88bec5058ad29056f7dba9fec345a512350 Mon Sep 17 00:00:00 2001 From: Marcin Chrzanowski Date: Thu, 9 Dec 2021 15:24:10 +0100 Subject: Remove hyphens --- mgr.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3