Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Flexible Approach for Finding Optimal Paths with Minimal Conflicts   Complex systems are usually modelled through a combination of structural and
behavioural models, where separate behavioural models make it easier to design
and understand partial behaviour. When partial models are combined, we need to
guarantee that they are consistent, and several automated techniques have been
developed to check this. We argue that in some cases it is impossible to
guarantee total consistency, and instead we want to find execution paths across
such models with minimal conflicts with respect to a certain metric of
interest. We present an efficient and scalable solution to find optimal paths
through a combination of the theorem prover Isabelle with the constraint solver
Z3. Our approach has been inspired by a healthcare problem, namely how to
detect conflicts between medications taken by patients with multiple chronic
conditions, and how to find preferable alternatives automatically.

0
The categories of this paper are: hep-ph
36
The categories of this paper are: cmp-lg
12
The categories of this paper are: nucl-th
14
The categories of this paper are: math-ph
33
The categories of this paper are: plasm-ph
6
The categories of this paper are: astro-ph
28
The categories of this paper are: alg-geom
26
The categories of this paper are: bayes-an
32
The categories of this paper are: atom-ph
25
The categories of this paper are: patt-sol
9
The categories of this paper are: nlin
18
The categories of this paper are: econ
4
The categories of this paper are: cond-mat
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
20
The categories of this paper are: acc-phys