scientific article
From MaRDI portal
Publication:2767076
zbMath0983.68672MaRDI QIDQ2767076
Pedro Barahona, Francisco Azevedo
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computer science aspects of computer-aided design (68U07) Computing methodologies and applications (68U99) Fault detection; testing in circuits and networks (94C12) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (5)
Generic incremental algorithms for local search ⋮ Cardinal: a finite sets constraint solver ⋮ Multiset variable representations and constraint propagation ⋮ Maxx: Test pattern optimisation with local search over an extended logic ⋮ Enhancing set constraint solvers with lexicographic bounds
This page was built for publication:
