scientific article

From MaRDI portal

Publication:2786914

Jump to:navigation, search

zbMath1331.68214MaRDI QIDQ2786914

No author found.

Publication date: 23 February 2016

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

zbMATH Keywords

restart strategy CDCL solver

Mathematics Subject Classification ID

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

Related Items (2)

Evaluating CDCL Variable Scoring Schemes ⋮ The \textsc{MergeSat} solver

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2786914&oldid=15681749"