Conferences in DBLP
Alan K. Mackworth Constraint-Based Agents: The ABC's of CBA's. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Borning Constraints for Interactive Graphical Applications. [Citation Graph (0, 0)][DBLP ] Conf ] David A. McAllester Meta-complexity Theorems: Talk Abstract. [Citation Graph (0, 0)][DBLP ] Conf ] Slim Abdennadher , Christophe Rigotti Automatic Generation of Propagation Rules for Finite Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Fahiem Bacchus Extending Forward Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Beldiceanu Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Benhamou , Frédéric Goualard Universally Quantified Interval Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Stefano Bistarelli , Rosella Gennari , Francesca Rossi Constraint Propagation for Soft Constraints: Generalization and Termination Conditions. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Brodsky , Csilla Farkas , Duminda Wijesekera , Xiaoyang Sean Wang Constraints, Inference Channels and Secure Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Mathias Broxvall , Peter Jonsson , Jochen Renz Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Carrive , Pierre Roy , François Pachet , Rémi Ronfard A Language for Audiovisual Template Specification and Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Cristian Coarfa , Demetrios D. Demopoulos , Alfonso San Miguel Aguirre , Devika Subramanian , Moshe Y. Vardi Random 3-SAT: The Plot Thickens. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Cohen , Peter Jeavons , Richard Gault New Tractable Classes from Old. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Colmerauer , Thi-Bich-Hanh Dao Expressiveness of Full First Order Constraints in the Algebra of Finite or Infinite Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Filippo Focacci , Andrea Lodi , Michela Milano Cutting Planes in Constraint Programming: A Hybrid Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Vineet Gupta , Lalita Jategaonkar Jagadeesan , Radha Jagadeesan , Xiaowei Jiang , Konstantin Läufer A Constraint-Based Framework for Prototyping Distributed Virtual Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi Hosobe A Scalable Linear Constraint Solver for User Interface Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Christophe Jermann , Gilles Trombettoni , Bertrand Neveu , Michel Rueher A Constraint Programming Approach for Solving Rigid Geometric Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Narendra Jussien , Romuald Debruyne , Patrice Boizumault Maintaining Arc-Consistency within Dynamic Backtracking. [Citation Graph (0, 0)][DBLP ] Conf ] Kalev Kask New Search Heuristics for Max-CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Bhaskar Krishnamachari , Xi Xie , Bart Selman , Stephen B. Wicker Analysis of Random Noise and Random Walk Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Larrosa Boosting Search with Variable Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Mehlhorn , Sven Thiel Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint. [Citation Graph (0, 0)][DBLP ] Conf ] Tobias Müller Practical Investigation of Constraints with Graph Views. [Citation Graph (0, 0)][DBLP ] Conf ] Steven David Prestwich A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Prosser , Kostas Stergiou , Toby Walsh Singleton Consistencies. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Refalo Linear Formulation of Constraint Programming Models and Hybrid Solvers. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Charles Régin , Michel Rueher A Global Constraint Combining a Sum Constraint and Difference Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Z. Revesz , Mengchu Cai Efficient Querying of Periodic Spatiotemporal Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Schiex Arc Consistency for Soft Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin W. Wah , Yixin Chen Optimal Anytime Constrained Simulated Annealing for Constrained Global Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Toby Walsh SAT v CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Hui Wu , Joxan Jaffar , Roland H. C. Yap Instruction Scheduling with Timing Constraints on a Single RISC Processor with 0/1 Latencies. [Citation Graph (0, 0)][DBLP ] Conf ] Yuanlin Zhang , Roland H. C. Yap Arc Consistency on n -ary Monotonic and Linear Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Ola Angelsmark , Peter Jonsson Some Observations on Durations, Scheduling and Allen's Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Baptista , João P. Marques Silva Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability. [Citation Graph (0, 0)][DBLP ] Conf ] Renato Bruni , Antonio Sassano Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances. [Citation Graph (0, 0)][DBLP ] Conf ] David W. Fowler , Kenneth N. Brown Branching Constraint Satisfaction Problems for Solutions Robust under Likely Changes. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Granvilliers , Eric Monfroy Constraint Propagation: Between Abstract Models and ad hoc Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Hannebauer How to Model and Verify Concurrent Algorithms for Distributed CSPs. [Citation Graph (0, 0)][DBLP ] Conf ] Katsutoshi Hirayama , Makoto Yokoo , Katia P. Sycara The Phase Transition in Distributed Constraint Satisfaction Problems: Fist Results. [Citation Graph (0, 0)][DBLP ] Conf ] Petra Hofstedt Cooperating Constraint Solvers. [Citation Graph (0, 0)][DBLP ] Conf ] Michael C. Horsch , William S. Havens An Empirical Study of Probabilistic Arc Consistency. [Citation Graph (0, 0)][DBLP ] Conf ] Sivakumar Nagarajan , Scott D. Goodwin , Abdul Sattar , John Thornton On Dual Encodings for Non-binary Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] João P. Marques Silva Algebraic Simplification Techniques for Propositional Satisfiability. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Charles Régin , Thierry Petit , Christian Bessière , Jean-Francois Puget An Original Constraint Based Approach for Solving over Constrained Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Yuko Sakurai , Makoto Yokoo , Koji Kamei An Efficient Approximate Algorithm for Winner Determination in Combinatorial Auctions. [Citation Graph (0, 0)][DBLP ] Conf ] 