scientific article
From MaRDI portal
Publication:3624075
zbMath1183.68232arXiv1110.2734MaRDI QIDQ3624075
Publication date: 28 April 2009
Full work available at URL: https://arxiv.org/abs/1110.2734
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
On the (complete) reasons behind decisions ⋮ DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions ⋮ From Rules to Constraint Programs with the Rules2CP Modelling Language ⋮ Discrete-Event Systems Fault Diagnosis ⋮ On the relative succinctness of sentential decision diagrams ⋮ CPCES: a planning framework to solve conformant planning problems through a counterexample guided refinement ⋮ Implementing Efficient All Solutions SAT Solvers ⋮ On Quantifying Literals in Boolean Logic and its Applications to Explainable AI
This page was built for publication:
