scientific article
From MaRDI portal
Publication:2786915
zbMath1331.68210MaRDI QIDQ2786915
Publication date: 23 February 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
New local search methods for partial MaxSAT ⋮ Exact hypervolume subset selection through incremental computations ⋮ The 11th IJCAR automated theorem proving system competition – CASC-J11 ⋮ The configurable SAT solver challenge (CSSC) ⋮ CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability ⋮ Definability for model counting ⋮ SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers ⋮ Runsolver ⋮ Evaluation of argument strength in attack graphs: foundations and semantics ⋮ Certified DQBF solving by definition extraction
This page was built for publication:
