SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints

, , , , &
Artificial Intelligence 302 (C):103604 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2021.103604

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

SAT-based planning in complex domains: Concurrency, constraints and nondeterminism.Claudio Castellini, Enrico Giunchiglia & Armando Tacchella - 2003 - Artificial Intelligence 147 (1-2):85-117.
Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions.Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi & Zhiwei Zhang - 2021 - Artificial Intelligence 299 (C):103559.
Planning with constraints.Mark Stefik - 1981 - Artificial Intelligence 16 (2):111-139.
SAT-based causal discovery under weaker assumptions. Zhalama, Jiji Zhang, Frederick Eberhardt & Wolfgang Mayer - 2017 - In Zhalama, Jiji Zhang, Frederick Eberhardt & Wolfgang Mayer (eds.), Proceedings of the 33rd Conference on Uncertainty in Artificial Intelligence (UAI). Association for Uncertainty in Artificial Intelligence (AUAI).
Corrigendum to “Learning constraints through partial queries” [Artificial Intelligence 319 (2023) 103896].Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros & Toby Walsh - 2024 - Artificial Intelligence 328 (C):104075.
Characterising tractable constraints.Martin C. Cooper, David A. Cohen & Peter G. Jeavons - 1994 - Artificial Intelligence 65 (2):347-361.
On redundant topological constraints.Sanjiang Li, Zhiguo Long, Weiming Liu, Matt Duckham & Alan Both - 2015 - Artificial Intelligence 225 (C):51-76.
Constraints, consistency and closure.Peter Jeavons, David Cohen & Martin C. Cooper - 1998 - Artificial Intelligence 101 (1-2):251-265.
Handbook of satisfiability.Armin Biere, Marijn Heule & Hans van Maaren (eds.) - 2021 - Washington, DC: IOS Press.
Learning general constraints in CSP.Michael Veksler & Ofer Strichman - 2016 - Artificial Intelligence 238:135-153.

Analytics

Added to PP
2022-11-21

Downloads
12 (#1,115,280)

6 months
8 (#415,230)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references