Search Sciweavers | Sciweavers

1278 search results - page 13 / 256

» The Complexity of Weighted Boolean

click to vote

ERSHOV
2003
Springer

107views Theoretical Computer Science» more ERSHOV 2003»

Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework

15 years 2 months ago

Download www.dbai.tuwien.ac.at

We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying inﬁnite games pertinent to computer-aided veriﬁcation.

Henrik Björklund, Sven Sandberg, Sergei G. Vo...

claim paper

Read More »

Voted

COCO
1989
Springer

113views Algorithms» more COCO 1989»

Boolean Functions, Invariance Groups and Parallel Complexity

15 years 1 months ago

Download clavius.bc.edu

Peter Clote

claim paper

Read More »

click to vote

STOC
1987
ACM

46views Algorithms» more STOC 1987»

Size-Time Complexity of Boolean Networks for Prefix Computations

15 years 1 months ago

Download www.cs.brown.edu

Gianfranco Bilardi, Franco P. Preparata

claim paper

Read More »

click to vote

APBC
2006

110views Bioinformatics» more APBC 2006»

On the Complexity of Finding Control Strategies for Boolean Networks

14 years 11 months ago

Download www.comp.nus.edu.sg

Tatsuya Akutsu, Morihiro Hayashida, Wai-Ki Ching, ...

claim paper

Read More »

click to vote

DAGSTUHL
2006

133views Software Engineering» more DAGSTUHL 2006»

06111 Abstracts Collection -- Complexity of Boolean Functions

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers