BC package - tools for constrained Boolean circuits

Tommi Junttila

BC package - tools for constrained Boolean circuits

Research output: Artistic and non-textual form › Software › Scientific

Original language	English
Edition	0.26
Publication status	Published - 2006
MoE publication type	I2 ICT applications

Keywords

Boolean circuit
propositional satisfiability
propositonal in English

Cite this

@misc{6e0e64593d07401282d93289a1b98ea4,

title = "BC package - tools for constrained Boolean circuits",

keywords = "Boolean circuit, propositional satisfiability, propositonal in English, Boolean circuit, propositional satisfiability, propositonal in English, Boolean circuit, propositional satisfiability, propositonal in English",

author = "Tommi Junttila",

year = "2006",

language = "English",

edition = "0.26",

}

TY - ADVS

T1 - BC package - tools for constrained Boolean circuits

AU - Junttila, Tommi

PY - 2006

Y1 - 2006

KW - Boolean circuit

KW - propositional satisfiability

KW - propositonal in English

KW - Boolean circuit

KW - propositional satisfiability

KW - propositonal in English

KW - Boolean circuit

KW - propositional satisfiability

KW - propositonal in English

M3 - Software

ER -