Search dblp for Publications

export results for "stream:streams/conf/wclp:"

 download as .bib file

@proceedings{DBLP:conf/wclp/1991,
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  publisher    = {{MIT} Press},
  year         = {1993},
  isbn         = {0-262-02353-9},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/1991.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/AggounB91,
  author       = {Abderrahmane Aggoun and
                  Nicolas Beldiceanu},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {Overview of the {CHIP} Compiler System},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {421--435},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 16:42:24 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/AggounB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/Aguirre91,
  author       = {Alfonso San Miguel Aguirre},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {How to Use Symmetries in Boolean Constraint Solving},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {287--306},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/Aguirre91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/Benhamou91,
  author       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {Boolean Algorithms in Prolog {III}},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {307--325},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/Benhamou91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/BlancB91,
  author       = {Georges Blanc and
                  No{\"{e}}lle Bleuzen{-}Guernalec},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {Constraints in Rational Abstract Models},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {5--16},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/BlancB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/Bockmayr91,
  author       = {Alexander Bockmayr},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {Logic Programming with Pseudo-Boolean Constraints},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {327--350},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/Bockmayr91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/CodognetFS91,
  author       = {Philippe Codognet and
                  Fran{\c{c}}ois Fages and
                  Thierry Sola},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {A Metalevel Compiler of {CLP(FD)} and Its Combination with Intelligent
                  Backtracking},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {437--456},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/CodognetFS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/CohenKP91,
  author       = {Jacques Cohen and
                  Pascal Koiran and
                  Catherine Perrin},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {Meta-Level Interpretation of CLP(Lists)},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {457--481},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/CohenKP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/Colmerauer91,
  author       = {Alain Colmerauer},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {Naive Solving of Non-linear Constraints},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {89--112},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/Colmerauer91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/CoxM91,
  author       = {Jim Cox and
                  Ken McAloon},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {Decision Procedures for Constraint Based Extensions of Datalog},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {17--32},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/CoxM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/HentenryckD91,
  author       = {Pascal Van Hentenryck and
                  Yves Deville},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {The Cardinality Operator: {A} New Logical Connective for Constraint
                  Logic Programming},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {283--403},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/HentenryckD91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/Hickey91,
  author       = {Timothy J. Hickey},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {Functional Constraints in {CLP} Languages},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {355--381},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/Hickey91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/HollmanL91,
  author       = {Joachim Hollman and
                  Lars Langemyr},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {Algorithms for Non-linear Constraints},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {113--131},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/HollmanL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/Hong91,
  author       = {Hoon Hong},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {RISC-CLP(Real): Logic Programming with Non-linear Constraints over
                  the Reals},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {133--159},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/Hong91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/ImbertH91,
  author       = {Jean{-}Louis Imbert and
                  Pascal Van Hentenryck},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {On the Handling of Disequations in {CLP} over Linear Rational Arithmetic},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {49--71},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/ImbertH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/LassezHM91,
  author       = {Jean{-}Louis Lassez and
                  Tien Huynh and
                  Ken McAloon},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {Simplification and Elimination of Redundant Linear Arithmetic Constraints},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {73--87},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/LassezHM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/LassezM91,
  author       = {Jean{-}Louis Lassez and
                  Ken McAloon},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {A Constraint Sequent Calculus},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {33--43},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/LassezM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/Massat91,
  author       = {Jean{-}Luc Massat},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {Using Local Consistency Techniques to Solve Boolean Constraints},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {223--235},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/Massat91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/MenjuSSA91,
  author       = {Satoshi Menju and
                  K{\^{o}} Sakai and
                  Yosuke Sato and
                  Akira Aiba},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {A Study on Boolean Constraint Solvers},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {253--267},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/MenjuSSA91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/MontanariR91,
  author       = {Ugo Montanari and
                  Francesca Rossi},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {Finite Domain Constraint Solving and Constraint Logic Programming},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {201--221},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wclp/MontanariR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/OlderV91,
  author       = {William J. Older and
                  Andr{\'{e}} Vellino},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {Constraint Arithmetic on Real Intervals},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {175--195},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/OlderV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/Rauzy91,
  author       = {Antoine Rauzy},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {Using Enumerative Methods for Boolean Unification},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {237--251},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/Rauzy91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/SatoA91,
  author       = {Shinichi Sato and
                  Akira Aiba},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {An Application of {CAL} to Robotics},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {161--173},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/SatoA91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/SimonisD91,
  author       = {Helmut Simonis and
                  Mehmet Dincbas},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {Propositional Calculus Problems in {CHIP}},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {269--285},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/SimonisD91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wclp/Smolka91,
  author       = {Gert Smolka},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou and
                  Alain Colmerauer},
  title        = {Residuation and Guarded Rules for Constraint Logic Programming},
  booktitle    = {Constraint Logic Programming, Selected Research. {WCLP} 1991, Marseilles,
                  France},
  pages        = {405--419},
  publisher    = {{MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wclp/Smolka91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.