Minimizing wiggles in storyline visualizations
T Fröschl - 2018 - repositum.tuwien.at
Storyline visualizations are abstract 2-dimensional drawings of storylines, which shows the
lifelines of the characters of the storyline as horizontal lines and interactions between those …
lifelines of the characters of the storyline as horizontal lines and interactions between those …
GO-MOCE: greedy order method of conditional expectations for max sat
In this paper we present and study a new algorithm for the Maximum Satisfiability (Max Sat)
problem. The algorithm is based on the Method of Conditional Expectations (MOCE, also …
problem. The algorithm is based on the Method of Conditional Expectations (MOCE, also …
CHAMP: A multipass algorithm for Max Sat based on saver variables
In this paper, we introduce the concept of saver variables in Max Sat and demonstrate their
contribution to the performance of solvers for this problem. We present two types of saver …
contribution to the performance of solvers for this problem. We present two types of saver …
Using the method of conditional expectations to supply an improved starting point for CCLS
This paper proposes to combine the method of conditional expectations (MOCE, also known
as Johnson's Algorithm) with the state-of-the-art heuristic configuration checking local …
as Johnson's Algorithm) with the state-of-the-art heuristic configuration checking local …
A Novel Algorithm for Max Sat Calling MOCE to Order
In this paper, we present and study a new algorithm for the Maximum Satisfiability (Max Sat)
problem. The algorithm, GO-MOCE, is based on the Method of Conditional Expectations …
problem. The algorithm, GO-MOCE, is based on the Method of Conditional Expectations …