scientific article; zbMATH DE number 1696811

MaRDI QIDQ2767076zbMATH OpenFDO

Authors Francisco Azevedo, Pedro Barahona

Publication date 28 January 2002

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computer science aspects of computer-aided design (68U07) Computing methodologies and applications (68U99) Fault detection; testing in circuits and networks (94C12)

Recommendations

• Cardinal: a finite sets constraint solver
• scientific article; zbMATH DE number 2032418
• scientific article; zbMATH DE number 1979414
• Maxx: Test pattern optimisation with local search over an extended logic
• Interval propagation to reason about sets: Definition and implementation of a practical language

Cited in

(9)

• A constraint satisfaction approach to a circuit design problem
• Generic incremental algorithms for local search
• Maxx: Test pattern optimisation with local search over an extended logic
• Enhancing set constraint solvers with lexicographic bounds
• scientific article; zbMATH DE number 1979414 (Why is no real title available?)
• scientific article; zbMATH DE number 2032418 (Why is no real title available?)
• Multiset variable representations and constraint propagation
• Design-Oriented Analysis of Circuits With Equality Constraints
• Cardinal: a finite sets constraint solver

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2767076)