Partition refinement

In the design of algorithms, partition refinement is a technique for representing a partition of a set as a data structure that allows the partition… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We present a generic partition refinement algorithm that quotients coalgebraic systems by behavioural equivalence, an important… (More)
  • figure 2
  • figure 3
Is this relevant?
2016
2016
With the explosion of large, dynamic graph datasets from various fields, graph partitioning and repartitioning are becoming more… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 6
Is this relevant?
2014
2014
Consequence finding is used in many applications of deduction. This paper develops and evaluates a suite of optimized SMT-based… (More)
Is this relevant?
2012
2012
Saraswat's concurrent constraint programming (ccp) is a mature formalism for modeling processes (or programs) that interact by… (More)
  • table 1
Is this relevant?
2010
2010
State space lumping is one of the classical means to fight the state space explosion problem in state-based performance… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2008
2008
Bisimulation minimization is one of the classical means to fight the infamous state space explosion problem in verification… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
2002
2002
This paper discusses model checking of real-time systems. A novel aspect of our approach is the unconventional approach to deal… (More)
  • table 1
  • figure 1
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
By making use of lexicographic breadth rst search (Lex-BFS) and partition re nement with pivots, we obtain very simple algorithms… (More)
Is this relevant?
Review
1996
Review
1996
interpretation and partition refinement for model checking Dams, D.R. DOI: 10.6100/IR462072 Published: 01/01/1996 Document… (More)
  • figure 1.2
  • figure 3.1
  • figure 4.1
  • figure 4.2
  • figure 4.3
Is this relevant?
Highly Cited
1987
Highly Cited
1987
 
Is this relevant?