On Minimal Constraint Networks

On Minimal Constraint Networks

Show other versions (1)

In a minimal binary constraint network, every tuple of a constraint relation can be extended to a solution. It was conjectured that computing a solution to such a network is NP hard. We prove this conjecture. We also prove a conjecture by Dechter and Pearl stating that for k ≥ 2 it is NP-hard to dec...

Fuld beskrivelse

Bibliografiske detaljer
Hovedforfatter:	Gottlob, G
Format:	Conference item
Udgivet:	Perugia‚ Italy 2011

Lignende værker

On Minimal Constraint Networks
af: Gottlob, G
Udgivet: (2011)

On Tractable Queries and Constraints
af: Gottlob, G, et al.
Udgivet: (1999)

Semantic acyclicity under constraints
af: Gottlob, G, et al.
Udgivet: (2016)

Semantic acyclicity under constraints
af: Barceló, P, et al.
Udgivet: (2016)

Conditional Constraint Satisfaction: Logical Foundations and Complexity
af: Gottlob, G, et al.
Udgivet: (2007)

HyperConsistency Width For Constraint Satisfaction
af: Marnette, B, et al.
Udgivet: (2009)

Reasoning under minimal upper bounds in propositional logic
af: Eiter, T, et al.
Udgivet: (2006)

Identifying the Minimal Transversals of a Hypergraph and Related Problems
af: Eiter, T, et al.
Udgivet: (1995)

Reasoning under minimal upper bounds in propositional logic
af: Eiter, T, et al.
Udgivet: (2006)

Energy Consumption Minimization with SNR Constraint for Wireless Powered Communication Networks
af: Kuei-Ping Shih, et al.
Udgivet: (2024-08-01)

Datalog±: a unified approach to ontologies and integrity constraints.
af: Calì, A, et al.
Udgivet: (2009)

Datalog±: A Unified Approach to Ontologies and Integrity Constraints
af: Calì, A, et al.
Udgivet: (2009)

Fast and parallel decomposition of constraint satisfaction problems
af: Gottlob, G, et al.
Udgivet: (2020)

Fast and parallel decomposition of constraint satisfaction problems
af: Gottlob, G, et al.
Udgivet: (2022)

Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics.
af: Abramsky, S, et al.
Udgivet: (2013)

Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics
af: Abramsky, S, et al.
Udgivet: (2013)

The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions
af: Gottlob, G, et al.
Udgivet: (2005)

Iterative Schemes for Convex Minimization Problems with Constraints
af: Lu-Chuan Ceng, et al.
Udgivet: (2014-01-01)

Methods for Minimizing the Savage Function with Various Constraints
af: Anatol Godonoaga, et al.
Udgivet: (2024-03-01)

Minimal constraints in the parity formulation of optimization problems
af: Martin Lanthaler, et al.
Udgivet: (2021-01-01)

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying
af: Calì, A, et al.
Udgivet: (2012)

Age of Synchronization Minimization Algorithms in Wireless Networks with Random Updates under Throughput Constraints
af: Yuqiao He, et al.
Udgivet: (2023-09-01)

Tree projections and constraint optimization problems: Fixed-parameter tractability and parallel algorithms
af: Gottlob, G, et al.
Udgivet: (2017)

Current LHC constraints on minimal universal extra dimensions
af: Nicolas Deutschmann, et al.
Udgivet: (2017-08-01)

Semantic width and the fixed-parameter tractability of constraint satisfaction problems
af: Chen, H, et al.
Udgivet: (2020)

Makespan-Minimizing Heterogeneous Task Allocation under Temporal Constraints
af: Byeong-Min Jeong, et al.
Udgivet: (2023-12-01)

IAE Minimization in Sliding Mode Control With Input and Velocity Constraints
af: Mateusz Pietrala, et al.
Udgivet: (2022-01-01)

Minimizing the Duration of Repetitive Construction Processes with Work Continuity Constraints
af: Piotr Jaśkowski, et al.
Udgivet: (2019-03-01)

What ξ? Cosmological constraints on the non-minimal coupling constant
af: Orest Hrycyna
Udgivet: (2017-05-01)

Algorithms for Symmetric Submodular Function Minimization under Hereditary Constraints and Generalizations
af: Goemans, Michel X., et al.
Udgivet: (2013)

A strict inequality for the minimization of the Willmore functional under isoperimetric constraint
af: Mondino, A, et al.
Udgivet: (2021)

Total Tardiness Minimization in a Single-Machine with Periodical Resource Constraints
af: Bruno Prata, et al.
Udgivet: (2022-12-01)

Convex separable minimization problems with a linear constraint and bounded variables
af: Stefan M. Stefanov
Udgivet: (2005-01-01)

Enumerating Minimal Vertex Covers and Dominating Sets with Capacity and/or Connectivity Constraints
af: Yasuaki Kobayashi, et al.
Udgivet: (2025-02-01)

Delay Minimization in RIS-Assisted URLLC Systems under Reliability Constraints
af: Xiaoyang Song, et al.
Udgivet: (2023-05-01)

Farmer’s opinion to minimize the constraints in scientific dairy farming practices of Nalanda
af: SANJEEV KUMAR, et al.
Udgivet: (2016-08-01)

Comparison of appointment scheduling perspectives between cost minimization and service level constraint
af: Wong, Kai Qin
Udgivet: (2021)

Minimizing expected cost under hard boolean constraints, with applications to quantitative synthesis
af: Almagor, S, et al.
Udgivet: (2016)

Existence and limit behavior of constraint minimizers for elliptic equations with two nonlocal terms
af: Xincai Zhu, et al.
Udgivet: (2024-08-01)

Joint Sampling and Transmission Policies for Minimizing Cost Under Age of Information Constraints
af: Emmanouil Fountoulakis, et al.
Udgivet: (2024-11-01)