Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010

Publikation: Preprints, Working Paper und Forschungsberichte › Forschungsbericht

Abstract

This note serves as system description for our SAT solvers that entered the SAT Race 2010 affiliated to the SAT conference 2010.

Name	FMV Reports Series
Band	10/1

@techreport{127ff2367fe2468d9504c408694d283f,

title = "Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010",

abstract = "This note serves as system description for our SAT solvers that entered the SAT Race 2010 affiliated to the SAT conference 2010.",

author = "Armin Biere",

year = "2010",

month = aug,

language = "English",

series = "FMV Reports Series",

publisher = "Johannes Kepler University",

type = "WorkingPaper",

institution = "Johannes Kepler University",

}

TY - UNPB

T1 - Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010

AU - Biere, Armin

PY - 2010/8

Y1 - 2010/8

N2 - This note serves as system description for our SAT solvers that entered the SAT Race 2010 affiliated to the SAT conference 2010.

AB - This note serves as system description for our SAT solvers that entered the SAT Race 2010 affiliated to the SAT conference 2010.

M3 - Research report

T3 - FMV Reports Series

BT - Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010

PB - Johannes Kepler University

CY - Linz, Austria

ER -