diff options
| author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-09 15:24:10 +0100 |
|---|---|---|
| committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-12-09 15:24:10 +0100 |
| commit | f8bfe88bec5058ad29056f7dba9fec345a512350 (patch) | |
| tree | 9e9b0a6c9669616eb987fbc5cf753967cff9f5e6 | |
| parent | 003b0e63e46ae0d3f6571418f9c5b66b6fcaaab9 (diff) | |
Remove hyphens
| -rw-r--r-- | mgr.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |