Search alternatives:
tableau algorithms » tableau algorithm, tables algorithms
Cover Image
Read Now

1
by Stirrup, Jen, Oliva Ramos, Ruben
Published 2017
Packt Publishing
Table of Contents: “... -- Next steps -- Sharing our data analysis using Tableau -- Interpreting the results -- Summary -- Chapter...”
Cover Image
Read Now

2
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... for Calculating Inverses -- 1.3 Egyptian Algorithms for Arithmetic -- 1.4 Tableau Multiplication -- 1.5 Optimising...”
Cover Image
Read Now

3
by Bisdorff, Raymond
Published 2022
Springer International Publishing
Table of Contents: “...: Evaluation Models and Decision Algorithms -- 4. Building a Best Choice Recommendation -- 5. How to Create a...”
Cover Image
Read Now

4
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... -- Manipulation algorithms for K*BMDs -- Combining partial order and symmetry reductions -- Partial model checking...”
Cover Image
Read Now

5
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... and Applications -- Optimal Tableau Algorithms for Coalgebraic Logics -- Blocked Clause Elimination -- Tools I...”
Cover Image
Read Now

6
Published 1996
Springer Vienna
Table of Contents: “...Resolution Games and Non-liftable Resolution Orderings -- A Tableau Calculus for Partial Functions...”
Cover Image
Read Now

7
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... -- When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? -- Subquadratic Algorithms...”
Cover Image
Read Now

8
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... -- Equality elimination for the tableau method -- Towards lean proof checking -- WALDMEISTER: High performance...”
Cover Image
Read Now

9
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic -- Bounded-Variable...”
Cover Image
Read Now

10
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... aspects of approximation algorithms -- Selected aspects of the calculus of self-modifiable algorithms...”
Cover Image
Read Now

11
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... extended with sets -- A fast garbage collection algorithm for WAM — based PROLOG -- A resolution variant...”
Cover Image
Read Now

12
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... -- Robust Combinatorial Optimization with Exponential Scenarios -- Session 12 -- Approximation Algorithms...”
Cover Image
Read Now

13
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... for Reactive System Specifications by Tableau Method and Proof System -- Equational Abstraction Refinement...”
Cover Image
Read Now

14
by Balas, Egon
Published 2018
Springer International Publishing
Table of Contents: “... lift-and-project cuts and simple disjunctive cuts -- 9 Solving (CGLP)k on the LP simplex tableau -- 10...”
Cover Image
Read Now

15
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... -- Experiments with Two Row Tableau Cuts -- An OPT?+?1 Algorithm for the Cutting Stock Problem with Constant...”
Cover Image
Read Now

16
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Relation -- Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees -- Tableau-Based...”
Cover Image
Read Now

17
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Invited Lectures -- Tableau Algorithms for Description Logics -- Modality and Databases -- Local...”
Cover Image
Read Now

18
by Brickman, Louis
Published 1989
Springer New York
Table of Contents: “...1 Simultaneous Linear Equations -- 2 Linear Programming Foundations -- 3 The Simplex Algorithm -- 4...”
Cover Image
Read Now

19
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Tableau Algorithm for DL Reasoning...”
Cover Image
Read Now

20
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment -- Lemma and Model Caching...”