Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010

Research output: Working paper and reports › Research report

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
Volume	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 -