scientific article

zbMath1116.68088MaRDI QIDQ3429158

Olivier Roussel, Vasco M. Manquinho

Publication date: 30 March 2007

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

benchmarks

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

A proof system for graph (non)-isomorphism verification, Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques, Side-channel cryptographic attacks using pseudo-Boolean optimization, Unnamed Item, Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms, Rewriting optimization statements in answer-set programs, Optimal Base Encodings for Pseudo-Boolean Constraints, SCIP: solving constraint integer programs, On dedicated CDCL strategies for PB solvers, Efficient local search for pseudo Boolean optimization

Uses Software

• MiniSat
• Pueblo
• Chaff