Näytetään tulokset 1 - 10 / 9023
tulosta / sivu
Mitä julkaisutietoja palvelu sisältää?
Julkaisun nimi
Tekijät
Julkaisukanava
Vuosi

Solving Boolean Equation Systems

Keinänen, Misa
-2005

Multidimensional Linear Distinguishing Attacks and Boolean Functions

Vertaisarvioitu
Hermelin, Miia; Nyberg, Kaisa
-2008

BCSat 0.3 - a satisfiability checker for Boolean circuits

Junttila, Tommi
-2001

Composites in semirings of Boolean groups

Vertaisarvioitu
DOI
10.4171/RSMUP/48
Mahatab, Kamalakshya
Rendiconti del Seminario matematico della Università di Padova2021

Solving Alternating Boolean Equation Systems in Answer Set Programming

Vertaisarvioitu
DOI
10.1007/11415763_9
Keinänen, Misa; Niemelä, Ilkka
Lecture Notes in Computer Science2005

Obtaining Memory Efficient Solutions to Boolean Equation Systems

Vertaisarvioitu
Keinänen, Misa
European Research Consortium for Informatics and Mathematics (ERCIM)2004

BC package - tools for constrained Boolean circuits

Junttila, Tommi
-2006

Computing Smallest MUSes of Quantified Boolean Formulas

Vertaisarvioitu
DOI
10.1007/978-3-031-15707-3_23
Niskanen, Andreas; Mustonen, Jere Verneri; Berg, Jeremias; Järvisalo, Matti
Lecture Notes in Computer Science2022

Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking

Vertaisarvioitu
DOI
10.1007/3-540-44957-4_37
Junttila, Tommi; Niemelä, Ilkka
Lecture Notes in Computer Science2000

A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems

Vertaisarvioitu
Groote, Jan Friso; Keinänen, Misa
SPRINGER2005

Solving Boolean Equation Systems

2005

Multidimensional Linear Distinguishing Attacks and Boolean Functions

Vertaisarvioitu
2008

BCSat 0.3 - a satisfiability checker for Boolean circuits

2001

Composites in semirings of Boolean groups

Vertaisarvioitu
DOI
10.4171/RSMUP/48
2021

Solving Alternating Boolean Equation Systems in Answer Set Programming

Vertaisarvioitu
DOI
10.1007/11415763_9
2005

Obtaining Memory Efficient Solutions to Boolean Equation Systems

Vertaisarvioitu
2004

BC package - tools for constrained Boolean circuits

2006

Computing Smallest MUSes of Quantified Boolean Formulas

Vertaisarvioitu
DOI
10.1007/978-3-031-15707-3_23
2022

Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking

Vertaisarvioitu
DOI
10.1007/3-540-44957-4_37
2000

A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems

Vertaisarvioitu
2005