scientific article; zbMATH DE number 1094771
From MaRDI portal
Publication:4368562
zbMath0884.90124MaRDI QIDQ4368562
Hachemi Bennaceur, Gérard Plateau
Publication date: 4 December 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
reductionfilteringsatisfiability problemconstraint satisfaction problemsearchingconstraint based reasoning
Combinatorial optimization (90C27) Boolean programming (90C09) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
This page was built for publication: