|  |
| |
| Artikel-Nr.:
5667A-9783319218090 Herst.-Nr.:
9783319218090 EAN/GTIN:
9783319218090 |
| |
|
| | |
| Bridging Constraint Satisfaction and Boolean Satisfiability Weitere Informationen: | | Author: | Justyna Petke | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: Datenbanken (Fachbücher), Datenbankenbücher, bücher zu anwendungs-software - englischsprachig, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, BooleanConstraintPropagation(BCP); BooleanSatisfiabilityProblem(SAT); CSPLanguages; CSP-Solvers; ConstraintProgramming(CP); ConstraintSatisfactionProblem(CSP); encodings, Boolean Constraint Propagation (BCP), Boolean Satisfiability Problem (SAT), CSP Languages, CSP-Solvers, Constraint Programming (CP), Constraint Satisfaction Problem (CSP), Encodings |
| | |
| |