scientific article; zbMATH DE number 2090309
From MaRDI portal
Publication:4809068
zbMath1072.68599MaRDI QIDQ4809068
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2392/23920295.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (14)
Semantically-guided goal-sensitive reasoning: model representation ⋮ Computing the least common subsumer w.r.t. a background terminology ⋮ Understanding one another: making out meanings with Boolean equations ⋮ On First-Order Model-Based Reasoning ⋮ A game characterisation of tree-like Q-resolution size ⋮ Creating non-minimal triangulations for use in inference in mixed stochastic/deterministic graphical models ⋮ SMT proof checking using a logical framework ⋮ New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability ⋮ Finding rough and fuzzy-rough set reducts with SAT ⋮ Automata-Theoretic Model Checking Revisited ⋮ Theory decision by decomposition ⋮ A novel SAT solver for the van der Waerden numbers ⋮ Unnamed Item ⋮ Unrestricted vs restricted cut in a tableau method for Boolean circuits
Uses Software
This page was built for publication:
