Search alternatives:
tableau algorithms » tableau algorithm, tables algorithms

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... and Applications -- Optimal Tableau Algorithms for Coalgebraic Logics -- Blocked Clause Elimination -- Tools I...

2
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... -- When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? -- Subquadratic Algorithms...

3
Published 2012
Springer Berlin Heidelberg
Table of Contents: ... for Reactive System Specifications by Tableau Method and Proof System -- Equational Abstraction Refinement...

4
Published 2014
Springer International Publishing
Table of Contents: ... -- Count and Forget: Uniform Interpolation of SHQ- Ontologies -- Coupling Tableau Algorithms for Expressive...

5
Published 1990
Springer London
Table of Contents: ...A General Tableau Technique for Verifying Temporal Properties of Concurrent Programs (Extended...

6
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... & Conquer: Genetic Algorithm and CP for Optimization -- Some Experiments on Learning Soft Constraints...

7
Published 2020
Springer International Publishing
Table of Contents: ... Linear Arithmetic -- Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis...

8
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... Neighbor” Meaningful? -- On Rectangular Partitionings in Two Dimensions: Algorithms, Complexity...

9
Published 2001
Springer Berlin Heidelberg
Table of Contents: ... -- Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2m) -- Timed Automata -- Job...

10
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... Falsifiability: Definitions, Algorithms, and Applications -- Solving Geometry Problems Using a Combination...

11
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...