scientific article

zbMath1274.68266MaRDI QIDQ2857316

Kazuyuki Amano

Publication date: 1 November 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106531100076X

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Combinatorics in computer science (68R05) Classical propositional logic (03B05)

Uses Software

• nauty

Cites Work

• The average sensitivity of bounded-depth circuits
• An improved exponential-time algorithm for k -SAT
• Variable Influences in Conjunctive Normal Forms
• Unnamed Item
• Unnamed Item

This page was built for publication: