Name: Finding all Solutions to a Cnf. The Dualsat sat Solver (en Inglés)
SKU: 59339514
Price: 67.07 USD
Availability: InStock
Author: Stellnberger Elmar
ISBN: 9783346419378

portada Finding all Solutions to a Cnf. The Dualsat sat Solver (en Inglés)

Finding all Solutions to a Cnf. The Dualsat sat Solver (en Inglés)

Formato

Libro Físico

Autor

Elmar Stellnberger

Editorial

Grin Verlag

Idioma

Inglés

N° páginas

Encuadernación

Tapa Blanda

Dimensiones

21x14.8x0.4 cm

Peso

0.11

ISBN13

9783346419378

Categorías

Software empresarial

Finding all Solutions to a Cnf. The Dualsat sat Solver (en Inglés)

Elmar Stellnberger (Autor) · Grin Verlag · Tapa Blanda

Libro Nuevo Importado

Envío: 25 a 32 días háb.

$ 111.78$ 67.07

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 67.07

Llega entre el 05 Oct y el 19 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Finding all Solutions to a Cnf. The Dualsat sat Solver (en Inglés)"

Master's Thesis from the year 2020 in the subject Computer Science - Applied, grade: Sehr gut, Klagenfurt University (Institut für Angewandte Informatik), language: English, abstract: DualSAT is a performant new SAT-solver that is optimized to find and output all solutions to an input CNF usable by further processing steps that can follow. Solutions are stored as a number of disjoint solution classes that happen to be in Decomposable Negation Normal Form (DNNF). The solver implements new features like unentangled literal detection and backtracking with stack redo. Unentangled literal detection detects the remaining CNF to be in DNNF while a stack redo saves valuable work on conflict directed backjumps because much of the solver's stack content remains preserved. A combination of conflict dependent and independent heuristics ensures good results for known as well as novel and random CNFs. The dual data structures of DualSAT may also prove beneficial for new techniques with enhanced reasoning.