ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 0905.3757
  4. Cited By
Circuit Complexity and Decompositions of Global Constraints

Circuit Complexity and Decompositions of Global Constraints

22 May 2009
C. Bessiere
G. Katsirelos
Nina Narodytska
T. Walsh
ArXiv (abs)PDFHTML

Papers citing "Circuit Complexity and Decompositions of Global Constraints"

13 / 13 papers shown
Title
On CNF formulas irredundant with respect to unit clause propagation
On CNF formulas irredundant with respect to unit clause propagation
Petr Savický
25
0
0
04 Sep 2023
Estimating the hardness of SAT encodings for Logical Equivalence
  Checking of Boolean circuits
Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits
Alexander A. Semenov
K. Chukharev
Egor Tarasov
D. Chivilikhin
Viktor Kondratiev
29
1
0
04 Oct 2022
SAT vs CSP: a commentary
SAT vs CSP: a commentary
T. Walsh
24
2
0
27 Sep 2019
Propagation complete encodings of smooth DNNF theories
Propagation complete encodings of smooth DNNF theories
P. Kucera
P. Savický
AI4CE
8
6
0
14 Sep 2019
Translation of Algorithmic Descriptions of Discrete Functions to SAT
  with Applications to Cryptanalysis Problems
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
A. Semenov
I. Otpuschennikov
I. Gribanova
O. Zaikin
S. Kochemazov
18
16
0
17 May 2018
Boolean Equi-propagation for Concise and Efficient SAT Encodings of
  Combinatorial Problems
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems
Amit Metodi
M. Codish
Peter Stuckey
40
39
0
04 Feb 2014
A New Look at BDDs for Pseudo-Boolean Constraints
A New Look at BDDs for Pseudo-Boolean Constraints
Ignasi Abío
R. Nieuwenhuis
Albert Oliveras
Enric Rodríguez-carbonell
Valentin Mayer-Eichberger
AI4CE
47
79
0
23 Jan 2014
On SAT representations of XOR constraints
On SAT representations of XOR constraints
Matthew Gwynne
O. Kullmann
44
19
0
12 Sep 2013
Towards a theory of good SAT representations
Towards a theory of good SAT representations
Matthew Gwynne
O. Kullmann
59
9
0
18 Feb 2013
Generalising unit-refutation completeness and SLUR via nested input
  resolution
Generalising unit-refutation completeness and SLUR via nested input resolution
Matthew Gwynne
O. Kullmann
55
19
0
29 Apr 2012
Translation-based Constraint Answer Set Solving
Translation-based Constraint Answer Set Solving
C. Drescher
T. Walsh
41
10
0
20 Apr 2011
Decomposition of the NVALUE constraint
Decomposition of the NVALUE constraint
C. Bessiere
G. Katsirelos
Nina Narodytska
Claude-Guy Quimper
T. Walsh
66
22
0
17 Sep 2009
Decompositions of All Different, Global Cardinality and Related
  Constraints
Decompositions of All Different, Global Cardinality and Related Constraints
C. Bessiere
G. Katsirelos
Nina Narodytska
Claude-Guy Quimper
T. Walsh
89
35
0
22 May 2009
1