Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Martin Jonáš
DTEDI
Commits
976ee06b
Commit
976ee06b
authored
Sep 03, 2016
by
Martin Jonas
Browse files
Typo
parent
e9f46bec
Changes
1
Hide whitespace changes
Inline
Side-by-side
Chapters/Chapter02.tex
View file @
976ee06b
...
...
@@ -569,8 +569,8 @@ uninterpreted function, which uses model-driven Fourier-Motzkin
elimination~
\cite
{
Dan63
}
to learn new predicates from arithmetic
conflicts and model-driven Ackermannization~
\cite
{
MB08, Ack54
}
to
learn new predicates from conflicts involving uninterpreted
functions. This solver has shown to have performance comparable
with
existing state-of-the-art
\dpllt
solvers~
\cite
{
JMB13
}
.
functions. This solver has
been
shown to have performance comparable
with
existing state-of-the-art
\dpllt
solvers~
\cite
{
JMB13
}
.
%\subsection{Combination of theories}
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment