scientific article; zbMATH DE number 6747932

zbMath1366.68266MaRDI QIDQ5283008

Alexey Ignatiev, Antonio Morgado, Inês Lynce, Vasco M. Manquinho, João P. Marques-Silva

Publication date: 18 July 2017

Full work available at URL: http://ebooks.iospress.nl/volumearticle/36982

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

Mathematics Subject Classification ID

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

Related Items (8)

Quantified maximum satisfiability ⋮ Exploiting Resolution-Based Representations for MaxSAT Solving ⋮ SAT-Based Formula Simplification ⋮ SAT-Based Horn Least Upper Bounds ⋮ Minimal sets on propositional formulae. Problems and reductions ⋮ Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem ⋮ On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving ⋮ RC2: an Efficient MaxSAT Solver

This page was built for publication: