Works matching DE "CONSTRAINT satisfaction"
Results: 1736
Efficiency criteria and dual models for multi-objective semi-infinite constrained minimization problems with vanishing restrictions: Efficiency criteria and dual models for multi-objective...: M. K. Roy et al.
- Published in:
- Computational & Applied Mathematics, 2025, v. 44, n. 3, p. 1, doi. 10.1007/s40314-025-03120-2
- By:
- Publication type:
- Article
On multiobjective semi-infinite programs with vanishing constraints and tangential subdifferentials: On multiobjective semi-infinite programs with vanishing...: S. K. Mishra, V. Singh.
- Published in:
- Computational & Applied Mathematics, 2025, v. 44, n. 2, p. 1, doi. 10.1007/s40314-024-03049-y
- By:
- Publication type:
- Article
Constraint-based methodological innovations: Tales of doctoral and early career researchers in a pandemic-ridden world.
- Published in:
- 2025
- By:
- Publication type:
- Editorial
Truth-tracking with Non-expert Information Sources.
- Published in:
- Journal of Artificial Intelligence Research, 2024, v. 81, p. 619, doi. 10.1613/jair.1.15273
- By:
- Publication type:
- Article
Inverting Cryptographic Hash Functions via Cube-and-Conquer.
- Published in:
- Journal of Artificial Intelligence Research, 2024, v. 81, p. 359, doi. 10.1613/jair.1.15244
- By:
- Publication type:
- Article
Collective Belief Revision.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 78, p. 1221, doi. 10.1613/jair.1.15745
- By:
- Publication type:
- Article
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 78, p. 709, doi. 10.1613/jair.1.14260
- By:
- Publication type:
- Article
How to Tell Easy from Hard: Complexity of Conjunctive Query Entailment in Extensions of ALC.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 78, p. 385, doi. 10.1613/jair.1.14482
- By:
- Publication type:
- Article
Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization.
- Published in:
- Journal of Artificial Intelligence Research, 2023, v. 78, p. 1, doi. 10.1613/jair.1.14714
- By:
- Publication type:
- Article
Computational Short Cuts in Infinite Domain Constraint Satisfaction.
- Published in:
- Journal of Artificial Intelligence Research, 2022, v. 75, p. 793, doi. 10.1613/jair.1.13787
- By:
- Publication type:
- Article
Communication-Aware Local Search for Distributed Constraint Optimization.
- Published in:
- Journal of Artificial Intelligence Research, 2022, v. 75, p. 637, doi. 10.1613/jair.1.13826
- By:
- Publication type:
- Article
Variable Elimination in Binary CSPs.
- Published in:
- Journal of Artificial Intelligence Research, 2019, v. 66, p. 589, doi. 10.1613/jair.1.11295
- By:
- Publication type:
- Article
Weighted Matching Markets with Budget Constraints.
- Published in:
- Journal of Artificial Intelligence Research, 2019, v. 65, p. 393, doi. 10.1613/jair.1.11582
- By:
- Publication type:
- Article
Conditional Simple Temporal Networks with Uncertainty and Resources.
- Published in:
- Journal of Artificial Intelligence Research, 2019, v. 64, p. 931, doi. 10.1613/jair.1.11453
- By:
- Publication type:
- Article
Dynamic Controllability of Controllable Conditional Temporal Problems with Uncertainty.
- Published in:
- Journal of Artificial Intelligence Research, 2019, v. 64, p. 445, doi. 10.1613/jair.1.11375
- By:
- Publication type:
- Article
Bisimulations on Data Graphs.
- Published in:
- Journal of Artificial Intelligence Research, 2018, v. 61, p. 171, doi. 10.1613/jair.5637
- By:
- Publication type:
- Article
Linear Satisfiability Preserving Assignments.
- Published in:
- Journal of Artificial Intelligence Research, 2018, v. 61, p. 291, doi. 10.1613/jair.5658
- By:
- Publication type:
- Article
Solving #SAT and MaxSAT by Dynamic Programming.
- Published in:
- Journal of Artificial Intelligence Research, 2015, v. 54, p. 59, doi. 10.1613/jair.4831
- By:
- Publication type:
- Article
Protecting Privacy through Distributed Computation in Multi-agent Decision Making.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 47, p. 649, doi. 10.1613/jair.3983
- By:
- Publication type:
- Article
Asymmetric Distributed Constraint Optimization Problems.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 47, p. 613, doi. 10.1613/jair.3945
- By:
- Publication type:
- Article
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 46, p. 303, doi. 10.1613/jair.3809
- By:
- Publication type:
- Article
Undominated Groves Mechanisms.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 46, p. 129, doi. 10.1613/jair.3810
- By:
- Publication type:
- Article
Short and Long Supports for Constraint Propagation.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 46, p. 1, doi. 10.1613/jair.3749
- By:
- Publication type:
- Article
Local Consistency and SAT-Solvers.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 329, doi. 10.1613/jair.3531
- By:
- Publication type:
- Article
Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction.
- Published in:
- Journal of Artificial Intelligence Research, 2012, v. 43, p. 257, doi. 10.1613/jair.3476
- By:
- Publication type:
- Article
Soft Constraints of Difference and Equality.
- Published in:
- Journal of Artificial Intelligence Research, 2011, v. 41, p. 97, doi. 10.1613/jair.3197
- By:
- Publication type:
- Article
The Complexity of Integer Bound Propagation.
- Published in:
- Journal of Artificial Intelligence Research, 2011, v. 40, p. 657, doi. 10.1613/jair.3248
- By:
- Publication type:
- Article
Second-Order Consistencies.
- Published in:
- Journal of Artificial Intelligence Research, 2011, v. 40, p. 175, doi. 10.1613/jair.3180
- By:
- Publication type:
- Article
Interactive Cost Configuration Over Decision Diagrams.
- Published in:
- Journal of Artificial Intelligence Research, 2010, v. 37, p. 99, doi. 10.1613/jair.2905
- By:
- Publication type:
- Article
Exploiting Single-Cycle Symmetries in Continuous Constraint Problems.
- Published in:
- Journal of Artificial Intelligence Research, 2009, v. 34, p. 499, doi. 10.1613/jair.2711
- By:
- Publication type:
- Article
Completeness and Performance of the APO Algorithm.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 33, p. 223, doi. 10.1613/jair.2611
- By:
- Publication type:
- Article
The Ultrametric Constraint and its Application to Phylogenetics.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 32, p. 901, doi. 10.1613/jair.2580
- By:
- Publication type:
- Article
A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability.
- Published in:
- Journal of Artificial Intelligence Research, 2008, v. 32, p. 607, doi. 10.1613/jair.2538
- By:
- Publication type:
- Article
Combination Strategies for Semantic Role Labeling.
- Published in:
- Journal of Artificial Intelligence Research, 2007, v. 29, p. 105, doi. 10.1613/jair.2088
- By:
- Publication type:
- Article
Consistency and Random Constraint Satisfaction Models.
- Published in:
- Journal of Artificial Intelligence Research, 2007, v. 28, p. 517, doi. 10.1613/jair.2155
- By:
- Publication type:
- Article
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms.
- Published in:
- Journal of Artificial Intelligence Research, 2007, v. 29, p. 353, doi. 10.1613/jair.2171
- By:
- Publication type:
- Article
Risk-Sensitive Reinforcement Learning Applied to Control under Constraints.
- Published in:
- Journal of Artificial Intelligence Research, 2005, v. 24, p. 81, doi. 10.1613/jair.1666
- By:
- Publication type:
- Article
Uncertainty in Soft Temporal Constraint Problems: A General Framework and Controllability Algorithms for The Fuzzy Case.
- Published in:
- Journal of Artificial Intelligence Research, 2006, v. 27, p. 617, doi. 10.1613/jair.2135
- By:
- Publication type:
- Article
Causes of Ineradicable Spurious Predictions in Qualitative Simulation.
- Published in:
- Journal of Artificial Intelligence Research, 2006, v. 27, p. 551, doi. 10.1613/jair.2065
- By:
- Publication type:
- Article
Set Intersection and Consistency in Constraint Networks.
- Published in:
- Journal of Artificial Intelligence Research, 2006, v. 27, p. 441, doi. 10.1613/jair.2058
- By:
- Publication type:
- Article
Temporal Planning using Subgoal Partitioning and Resolution in SGPlan.
- Published in:
- Journal of Artificial Intelligence Research, 2006, v. 26, p. 323, doi. 10.1613/jair.1918
- By:
- Publication type:
- Article
Asynchronous Partial Overlay: A New Algorithm for Solving Distributed Constraint Satisfaction Problems.
- Published in:
- Journal of Artificial Intelligence Research, 2006, v. 25, p. 529, doi. 10.1613/jair.1786
- By:
- Publication type:
- Article
An Approach to Temporal Planning and Scheduling in Domains with Predictable Exogenous Events.
- Published in:
- Journal of Artificial Intelligence Research, 2006, v. 25, p. 187, doi. 10.1613/jair.1742
- By:
- Publication type:
- Article
Binary Encodings of Non-binary Constraint Satisfaction Problems: Algorithms and Experimental Result.
- Published in:
- Journal of Artificial Intelligence Research, 2005, v. 24, p. 641, doi. 10.1613/jair.1776
- By:
- Publication type:
- Article
Hiding Satisfying Assignments: Two are Better than One.
- Published in:
- Journal of Artificial Intelligence Research, 2005, v. 24, p. 623, doi. 10.1613/jair.1681
- By:
- Publication type:
- Article
Pure Nash Equilibria: Hard and Easy Games.
- Published in:
- Journal of Artificial Intelligence Research, 2005, v. 24, p. 357, doi. 10.1613/jair.1683
- By:
- Publication type:
- Article
Solving Set Constraint Satisfaction Problems using ROBDDs.
- Published in:
- Journal of Artificial Intelligence Research, 2005, v. 24, p. 109, doi. 10.1613/jair.1638
- By:
- Publication type:
- Article
Ordered Landmarks in Planning.
- Published in:
- Journal of Artificial Intelligence Research, 2004, v. 22, p. 215, doi. 10.1613/jair.1492
- By:
- Publication type:
- Article
A Maximal Tractable Class of Soft Constraints.
- Published in:
- Journal of Artificial Intelligence Research, 2004, v. 22, p. 1, doi. 10.1613/jair.1400
- By:
- Publication type:
- Article
Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences.
- Published in:
- Journal of Artificial Intelligence Research, 2004, v. 21, p. 499, doi. 10.1613/jair.1335
- By:
- Publication type:
- Article