The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase constraint logic programming (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1987-1989 (19) 1990 (18) 1991 (47) 1992 (24) 1993 (31) 1994 (34) 1995 (27) 1996 (36) 1997 (31) 1998 (34) 1999 (31) 2000 (29) 2001 (32) 2002 (47) 2003 (44) 2004 (54) 2005 (56) 2006 (22) 2007 (41) 2008 (34) 2009 (34) 2010 (19) 2011 (20) 2012-2014 (32) 2015-2017 (32) 2018 (20) 2019 (8)
Publication types (Num. hits)
article(156) book(3) incollection(13) inproceedings(661) phdthesis(8) proceedings(15)
Venues (Conferences, Journals, ...)
CSCLP(75) WFLP(43) ICLP(40) WCLP(25) CoRR(20) CP(16) W(C)LP(16) International Workshop on Cons...(15) PLILP(14) WLP / WFLP(14) WLP/WFLP(13) ACM Trans. Program. Lang. Syst...(11) PADL(10) PPDP(9) SAC(9) FLOPS(8) More (+10 of total 323)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 420 occurrences of 253 keywords

Results
Found 856 publication records. Showing 856 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
72Barry O'Sullivan (eds.) Recent Advances in Constraints, Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002. Selected Papers Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
72Eugene C. Freuder, Chavalit Likitvivatanavong, Manuela Moretti, Francesca Rossi, Richard J. Wallace Computing Explanations and Implications in Preference-Based Configurators. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
72Inês Lynce, João P. Marques Silva The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
72Sebastian Brand A Note on Redundant Rules in Rule-Based Constraint Programming. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
72Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García 0001 Abstract Verification and Debugging of Constraint Logic Programs. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
72Stefano Bistarelli, Boi Faltings, Nicoleta Neagu Interchangeability in Soft CSPs. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
72James Bowen Constraint Processing Offers Improved Expressiveness and Inference for Interactive Expert Systems. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
72Hans Schlenker, Georg Ringwelski POOC: A Platform for Object-Oriented Constraint Programming. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
72Peter Zoeteweij A Coordination-Based Framework for Distributed Constraint Solving. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
72Steven David Prestwich A Local Search Algorithm for Balanced Incomplete Block Designs. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
72Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou Towards Automated Reasoning on the Properties of Numerical Constraints. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
72Roman Barták Visopt ShopFloor: Going Beyond Traditional Scheduling. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
72Patrick Prosser, Evgeny Selensky A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
72Marc R. C. van Dongen Domain-Heuristics for Arc-Consistency Algorithms. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
72Alan M. Frisch, Ian Miguel, Toby Walsh CGRASS: A System for Transforming Constraint Satisfaction Problems. Search on Bibsonomy International Workshop on Constraint Solving and Constraint Logic Programming The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
66François Fages, Julian Fowler, Thierry Sola Handling Preferences in Constraint Logic Programming with Relational Optimization. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF hierarchical constraint logic programming, optimization, preference, constraint logic programming
64Peter J. Stuckey, Vincent Tam Models for Using Stochastic Constraint Solvers in Constraint Logic Programming. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
59Sebastian Krings, Michael Leuschel Constraint Logic Programming over Infinite Domains with an Application to Proof. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
55Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov Complexity and Expressive Power of Logic Programming. Search on Bibsonomy IEEE Conference on Computational Complexity The full citation details ... 1997 DBLP  DOI  BibTeX  RDF computational complexity, Logic programming, resolution, constraint logic programming, unification, expressive power
53Reem Bahgat, Samir E. AbdelRahman Combining Constraint Logic Programming Techniques for Solving Linear Problems. Search on Bibsonomy New Trends in Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Interval Reasoning, Domain Splitting, Simplex-Like Solver, Constraint Logic Programming
53J. C. Tay, S. Y. Huang, Hiok Chai Quek CSL (Part I): Modelling General N-ary, Logical CSPs. Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF constraint specification language, CSL, user-defined constraints, N-ary logical constraint satisfaction problems, constraint logic programming languages, expressive algebra, extended versions, transparent access, data structures, constraint programming, unification, syntax, logic programming languages, numerical constraints
50Alessandra Raffaetà, Thom W. Frühwirth Spatio-temporal Annotated Constraint Logic Programming. Search on Bibsonomy PADL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF constraint logic programming, Spatio-temporal reasoning, annotated logics
48Pierre Lim, Peter J. Stuckey A Constraint Logic Programming Shell. Search on Bibsonomy PLILP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
46Mario Rodríguez-Artalejo Functional and Constraint Logic Programming. Search on Bibsonomy CCL The full citation details ... 1999 DBLP  BibTeX  RDF
46Baoqiu Cui, David Scott Warren A System for Tabled Constraint Logic Programming. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
45Jesús Manuel Almendros-Jiménez Constraint logic programming over sets of spatial objects. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF logic programming, CLP
45Chong-Kan Chiu, Jimmy Ho-Man Lee Efficient Interval Linear Equality Solving in Constraint Logic Programming. Search on Bibsonomy Reliable Computing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Paolo Mancarella, Alessandra Raffaetà, Franco Turini Temporal Annotated Constraint Logic Programming with Multiple Theories. Search on Bibsonomy DEXA Workshops The full citation details ... 1999 DBLP  DOI  BibTeX  RDF meta-logic, knowledge representation, temporal reasoning, constraint logic programming
44Sibylle Schwarz, Janis Voigtländer (eds.) Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, and 24th International Workshop on Functional and (Constraint) Logic Programming, WLP 2015 / WLP 2016 / WFLP 2016, Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
44Baltasar Trancón y Widemann, Markus Lepper A Practical Study of Control in Objected-Oriented-Functional-Logic Programming with Paisley. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
44Frank Flederer, Ludwig Ostermayer, Dietmar Seipel, Sergio Montenegro 0001 Source Code Verification for Embedded Systems using Prolog. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
44Falco Nogatz, Dietmar Seipel Implementing GraphQL as a Query Language for Deductive Databases in SWI-Prolog Using DCGs, Quasi Quotations, and Dicts. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
44Marija Kulas A Practical View on Renaming. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
44Michael Hanus, Julia Krone A Typeful Integration of SQL into Curry. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
44Stefan Brass, Heike Stephan Experiences with Some Benchmarks for Deductive Databases and Implementations of Bottom-Up Evaluation. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
44Jason Hemann, Daniel P. Friedman A Framework for Extending microKanren with Constraints. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
44Dietmar Seipel Knowledge Engineering for Hybrid Deductive Databases. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
44Sergio Antoy, Michael Hanus, Steven Libby Proving Non-Deterministic Computations in Agda. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
44María-del-Mar Gallardo, Leticia Lavado, Laura Panizo A Simulation Tool for tccp Programs. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
44Stefan Brass, Heike Stephan Bottom-Up Evaluation of Datalog: Preliminary Report. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
44Lukas Immanuel Schiller An Agglomeration Law for Sorting Networks and its Application in Functional Programming. Search on Bibsonomy WLP / WFLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
43Thom W. Frühwirth Annotated Constraint Logic Programming Applied to Temporal Reasoning. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
42Jon. Hallett Formulating Update Messages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Smalltalk
42Mark Wallace 0001, Joachim Schimpf, Kish Shen, Warwick Harvey On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains". Search on Bibsonomy Constraints The full citation details ... 2004 DBLP  DOI  BibTeX  RDF solver performance, Benchmarking, ECLiPSe, Unit Testing, constraint logic programming, Finite Domain, CLP
41Eduard Cerny, Fen Jin Verification of Real Time Controllers Against Timing Diagram Specifications Using Constraint Logic Programming. Search on Bibsonomy ICCD The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Interface verification, interface controllers, relational interval arithmetic, constraint logic programming, timing verification, timing diagrams
38Susana Muñoz-Hernández, José Manuél Gómez-Pérez Solving Collaborative Fuzzy Agents Problems with CLP(FD). Search on Bibsonomy PADL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Fuzzy Prolog, Constraint Programming Application, Multi-Agent Systems, Finite Domains, Collaborative Agents, Modeling Uncertainty, (Constraint) Logic Programming
38Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov Complexity and expressive power of logic programming. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Complexity, logic programming, query languages, datalog, expressive power, nonmonotonic logic
38Alessandro Dal Palù, Enrico Pontelli, Jing He 0002, Yonggang Lu A constraint logic programming approach to 3D structure determination of large protein complexes. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF constraint logic programming, protein structure
38Fae Martin, Arthur Pinkney, Xinghuo Yu Cane Railway Scheduling via Constraint Logic Programming: Labelling Order and Constraints in a Real-Life Application. Search on Bibsonomy Annals OR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF cane railway scheduling, labelling order, constraint logic programming
37Emmanuel Coquery, François Fages A Type System for CHR. Search on Bibsonomy CSCLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Jie Wang, Chunnian Liu Fuzzy Constraint Logic Programming with Answer Set Semantics. Search on Bibsonomy KSEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Logic Program, Fuzzy Constraint, Answer Set Semantics
36Wolfgang Lux Adding Linear Constraints over Real Numbers to Curry. Search on Bibsonomy FLOPS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
36Kish Shen, Joachim Schimpf Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Ugo Montanari, Francesca Rossi Finite Domain Constraint Solving and Constraint Logic Programming. Search on Bibsonomy WCLP The full citation details ... 1991 DBLP  BibTeX  RDF
35Gopal Gupta, Enrico Pontelli A constraint-based approach for specification and verification of real-time systems. Search on Bibsonomy RTSS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF constraint based approach, real time systems specification, real time systems verification, general constraint logic programming, real time event ordering, grammar productions, Definite Clause Grammar, CLP program, DCG, timed push down automata, real-time systems, timed automata, constraint logic program, constraint automata
35Pascal Van Hentenryck, Yves Deville Operational Semantics of Constraint Logic Programming over Finite Domains. Search on Bibsonomy PLILP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
34Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap Optimizing Compilation of CLP(R). Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF source-to-source program transformation, compilation, program analysis, constraint logic programming, program optimization
34Susana Muñoz-Hernández, Juan José Moreno-Navarro Implementation Results in Classical Constructive Negation. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Implementations of Logic Programming, Optimization, Constraint Logic Programming, Constructive Negation, Negation in Logic Programming
34Susana Muñoz-Hernández, Juan José Moreno-Navarro A Real Implementation for Constructive Negation. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Implementations of Logic Programming, Constraint Logic Programming, Constructive Negation, Negation in Logic Programming
34Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo Efficient Negation Using Abstract Interpretation. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Implementations of Logic Programming, Program Analysis, Abstract Interpretation, Constraint Logic Programming, Negation in Logic Programming
34Péter Szeredi Teaching Constraints through Logic Puzzles. Search on Bibsonomy CSCLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey To the Gates of HAL: A HAL Tutorial. Search on Bibsonomy FLOPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
33Ulf Nilsson, Johan Lübcke Constraint Logic Programming for Local and Symbolic Model-Checking. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
33Agata Wrzos-Kaminska Partial Evaluation in Constraint Logic Programming. Search on Bibsonomy ISMIS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
33Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps Model Based Testing in Evolutionary Software Development. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Cleanroom SW Engineering, Rapid Prototyping, Extreme Programming, Reactive Systems, Constraint Logic Programming, Incremental Development, Test Case Generation
32Julio C. Peralta, John P. Gallagher, Hüseyin Saglam Analysis of Imperative Programs through Analysis of Constraint Logic Programs. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Imperative Program Analysis, Operational Semantics, Partial Evaluation, Constraint Logic Programming
31Tun Li, Yang Guo, Sikun Li Assertion-based automated functional vectors generation using constraint logic programming. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF test generation, assertion, constraint logic programming, functional verification, decision diagrams
31Steve Barker, Peter J. Stuckey Flexible access control policy specification with constraint logic programming. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Role-based access control, constraint logic programming
31J. Doyle, C. Meudec IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming. Search on Bibsonomy PPPJ The full citation details ... 2003 DBLP  DOI  BibTeX  RDF logic programming, symbolic execution, constraint logic programming, Java Bytecode, automatic tests data generation, coverage testing
31Jimmy Ho-Man Lee, Ho-fung Leung IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming. Search on Bibsonomy SAC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF concurrent constraint logic programming, incremental execution
31Fabrice Bouquet, Bruno Legeard, Fabien Peureux CLPS-B - A constraint solver to animate a B specification. Search on Bibsonomy STTT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF B notation, Evaluation of specifications, Animation, Constraint logic programming, Set constraints
31Dietmar Seipel, Ulrich Geske Cardinality Constraints in Disjunctive Deductive Databases. Search on Bibsonomy Semantics in Databases The full citation details ... 2001 DBLP  DOI  BibTeX  RDF hyperresolution, constraint logic programming, disjunctive logic programming, cardinality constraints
31Hamza Zidoum Implementation of an Arabic Morphological Analyzer within Constraint Logic Programming Framework. Search on Bibsonomy KES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Luc De Raedt An Inductive Logic Programming Query Language for Database Mining. Search on Bibsonomy AISC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF database mining query language, inductive query language, data mining, inductive logic programming, relational learning
30Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro Constructive Intensional Negation. Search on Bibsonomy FLOPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation
30Mark Wallace 0001 Constraint Logic Programming. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
30Slim Abdennadher, Christophe Rigotti Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
29Stefan Brass, Johannes Waldmann (eds.) Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, Wittenberg, Germany, September 15-17, 2014. Search on Bibsonomy WLP/WFLP The full citation details ... 2015 DBLP  BibTeX  RDF
29Dietmar Seipel, Joachim Baumeister, Klaus Prätor Declarative Evaluation of Ontologies with Rules. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
29Taïeb Mellouli Complex Certainty Factors for Rule Based Systems - Detecting Inconsistent Argumentations. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
29Tobias Gödderz, Janis Voigtländer Automatic Testing of Operation Invariance. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
29Michael Hanus Declarative Multi-paradigm Programming. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
29Johannes Waldmann Automated Exercises for Constraint Programming. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
29Martin Baláz, Jozef Frtús, Martin Homola, Ján Sefránek, Giorgos Flouris Embedding Defeasible Logic Programs into Generalized Logic Programs. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
29Alexander Bau, Johannes Waldmann Describing and Measuring the Complexity of SAT encodings for Constraint Programs. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
29Ludwig Ostermayer, Frank Flederer, Dietmar Seipel PPI - A Portable Prolog Interface for Java. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
29Michael Hanus, Björn Peemöller A Partial Evaluator for Curry. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
29Sergio Antoy, Michael Hanus Curry without Success. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
29Baltasar Trancón y Widemann, Markus Lepper Interpreting XPath by Iterative Pattern Matching with Paisley. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
29Nikita Danilenko Exploring Non-Determinism in Graph Algorithms. Search on Bibsonomy WLP/WFLP The full citation details ... 2014 DBLP  BibTeX  RDF
29Gert Smolka Residuation and Guarded Rules for Constraint Logic Programming. Search on Bibsonomy WCLP The full citation details ... 1991 DBLP  BibTeX  RDF
29Pascal Van Hentenryck, Yves Deville The Cardinality Operator: A New Logical Connective for Constraint Logic Programming. Search on Bibsonomy WCLP The full citation details ... 1991 DBLP  BibTeX  RDF
29Marc-Michel Corsini, Antoine Rauzy Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. Search on Bibsonomy ESOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Symbolic Model Checking, Constraint Languages
29Thom W. Frühwirth Proving Termination of Constraint Solver Programs. Search on Bibsonomy New Trends in Constraints The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Thomas H. Kolbe, Lutz Plümer, Armin B. Cremers Identifying Buildings in Aerial Images Using Constraint Relaxation and Variable Elimination. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2000 DBLP  DOI  BibTeX  RDF building extraction, variable elimination, object recognition, constraint logic programming, geometric constraints, constraint relaxation, inexact graph matching
28Agostino Dovier, Enrico Pontelli, Gianfranco Rossi Intensional Sets in CLP. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Aggregates, Constraint Logic Programming, Sets
28Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens Global Analysis of Constraint Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF global program analysis, program analysis, abstract interpretation, constraint logic programming
27Stefano Bistarelli, Francesco Santini 0001 A Formal and Practical Framework for Constraint-Based Routing. Search on Bibsonomy ICN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Soft Constraint Logic Programming, Constraint-Based Routing
27Nuno Gomes, Zita A. Vale, Carlos Ramos Reduce and Assign: A Constraint Logic Programming and Local Search Integration Framework to Solve Combinatorial Search Problems. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Stefano Bistarelli, Francesco Santini 0001 SCLP for Trust Propagation in Small-World Networks. Search on Bibsonomy CSCLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 856 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license