Hardware and Software, Verification and Testing

DOI10.1007/11678779zbMath1176.68120OpenAlexW4301422519MaRDI QIDQ5898458

Ofer Strichman, Roman Gershman

Publication date: 12 February 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11678779

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (4)

Evaluating CDCL Variable Scoring Schemes ⋮ Learning Rate Based Branching Heuristic for SAT Solvers ⋮ HaifaSat ⋮ Deep cooperation of CDCL and local search for SAT

Uses Software

• BerkMin

This page was built for publication: Hardware and Software, Verification and Testing