scientific article; zbMATH DE number 1979414
From MaRDI portal
Publication:4425816
zbMath1033.68096MaRDI QIDQ4425816
Publication date: 14 September 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Many-valued logic (03B50) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (3)
Cardinal: a finite sets constraint solver ⋮ Maxx: Test pattern optimisation with local search over an extended logic ⋮ Enhancing set constraint solvers with lexicographic bounds
This page was built for publication:
