Conferences in DBLP
Alan K. Mackworth Constraint-Based Agents: The ABC's of CBA's. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:1-10 [Conf ] Alan Borning Constraints for Interactive Graphical Applications. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:11-12 [Conf ] David A. McAllester Meta-complexity Theorems: Talk Abstract. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:13-17 [Conf ] Slim Abdennadher , Christophe Rigotti Automatic Generation of Propagation Rules for Finite Domains. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:18-34 [Conf ] Fahiem Bacchus Extending Forward Checking. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:35-51 [Conf ] Nicolas Beldiceanu Global Constraints as Graph Properties on a Structured Network of Elementary Constraints of the Same Type. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:52-66 [Conf ] Frédéric Benhamou , Frédéric Goualard Universally Quantified Interval Constraints. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:67-82 [Conf ] Stefano Bistarelli , Rosella Gennari , Francesca Rossi Constraint Propagation for Soft Constraints: Generalization and Termination Conditions. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:83-97 [Conf ] Alexander Brodsky , Csilla Farkas , Duminda Wijesekera , Xiaoyang Sean Wang Constraints, Inference Channels and Secure Databases. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:98-113 [Conf ] Mathias Broxvall , Peter Jonsson , Jochen Renz Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:114-127 [Conf ] Jean Carrive , Pierre Roy , François Pachet , Rémi Ronfard A Language for Audiovisual Template Specification and Recognition. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:128-142 [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 ] CP, 2000, pp:143-159 [Conf ] David A. Cohen , Peter Jeavons , Richard Gault New Tractable Classes from Old. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:160-171 [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 ] CP, 2000, pp:172-186 [Conf ] Filippo Focacci , Andrea Lodi , Michela Milano Cutting Planes in Constraint Programming: A Hybrid Approach. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:187-201 [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 ] CP, 2000, pp:202-217 [Conf ] Hiroshi Hosobe A Scalable Linear Constraint Solver for User Interface Construction. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:218-232 [Conf ] Christophe Jermann , Gilles Trombettoni , Bertrand Neveu , Michel Rueher A Constraint Programming Approach for Solving Rigid Geometric Systems. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:233-248 [Conf ] Narendra Jussien , Romuald Debruyne , Patrice Boizumault Maintaining Arc-Consistency within Dynamic Backtracking. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:249-261 [Conf ] Kalev Kask New Search Heuristics for Max-CSP. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:262-277 [Conf ] Bhaskar Krishnamachari , Xi Xie , Bart Selman , Stephen B. Wicker Analysis of Random Noise and Random Walk Algorithms. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:278-290 [Conf ] Javier Larrosa Boosting Search with Variable Elimination. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:291-305 [Conf ] Kurt Mehlhorn , Sven Thiel Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:306-319 [Conf ] Tobias Müller Practical Investigation of Constraints with Graph Views. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:320-336 [Conf ] Steven David Prestwich A Hybrid Search Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:337-352 [Conf ] Patrick Prosser , Kostas Stergiou , Toby Walsh Singleton Consistencies. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:353-368 [Conf ] Philippe Refalo Linear Formulation of Constraint Programming Models and Hybrid Solvers. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:369-383 [Conf ] Jean-Charles Régin , Michel Rueher A Global Constraint Combining a Sum Constraint and Difference Constraints. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:384-395 [Conf ] Peter Z. Revesz , Mengchu Cai Efficient Querying of Periodic Spatiotemporal Objects. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:396-410 [Conf ] Thomas Schiex Arc Consistency for Soft Constraints. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:411-424 [Conf ] Benjamin W. Wah , Yixin Chen Optimal Anytime Constrained Simulated Annealing for Constrained Global Optimization. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:425-440 [Conf ] Toby Walsh SAT v CSP. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:441-456 [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 ] CP, 2000, pp:457-469 [Conf ] Yuanlin Zhang , Roland H. C. Yap Arc Consistency on n -ary Monotonic and Linear Constraints. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:470-483 [Conf ] Ola Angelsmark , Peter Jonsson Some Observations on Durations, Scheduling and Allen's Algebra. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:484-488 [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 ] CP, 2000, pp:489-494 [Conf ] Renato Bruni , Antonio Sassano Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:495-499 [Conf ] David W. Fowler , Kenneth N. Brown Branching Constraint Satisfaction Problems for Solutions Robust under Likely Changes. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:500-504 [Conf ] Laurent Granvilliers , Eric Monfroy Constraint Propagation: Between Abstract Models and ad hoc Strategies. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:505-509 [Conf ] Markus Hannebauer How to Model and Verify Concurrent Algorithms for Distributed CSPs. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:510-514 [Conf ] Katsutoshi Hirayama , Makoto Yokoo , Katia P. Sycara The Phase Transition in Distributed Constraint Satisfaction Problems: Fist Results. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:515-519 [Conf ] Petra Hofstedt Cooperating Constraint Solvers. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:520-524 [Conf ] Michael C. Horsch , William S. Havens An Empirical Study of Probabilistic Arc Consistency. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:525-530 [Conf ] Sivakumar Nagarajan , Scott D. Goodwin , Abdul Sattar , John Thornton On Dual Encodings for Non-binary Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:531-536 [Conf ] João P. Marques Silva Algebraic Simplification Techniques for Propositional Satisfiability. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:537-542 [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 ] CP, 2000, pp:543-548 [Conf ] Yuko Sakurai , Makoto Yokoo , Koji Kamei An Efficient Approximate Algorithm for Winner Determination in Combinatorial Auctions. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:549-553 [Conf ]