Publication:3429158
From MaRDI portal
zbMath1116.68088MaRDI QIDQ3429158
Olivier Roussel, Vasco M. Manquinho
Publication date: 30 March 2007
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
SCIP: solving constraint integer programs, Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques, Side-channel cryptographic attacks using pseudo-Boolean optimization, Optimal Base Encodings for Pseudo-Boolean Constraints, Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms
Uses Software