Search results
From MaRDI portal
- Paper A methodological view of constraint solving 2000-03-19 Paper Constraint satisfaction using constraint logic programming 1993-04-01 Paper Solving a cutting-stock...10 bytes (16 words) - 12:15, 13 December 2023
- functional logic programming with constraints 2007-05-21 Paper https://portal.mardi4nfdi.de/entity/Q4452630 2004-03-01 Paper Constraint Logic Programming with...10 bytes (19 words) - 18:01, 9 December 2023
- Principles and Practice of Constraint Programming – CP 2003 2010-03-02 Paper Principles and Practice of Constraint Programming – CP 2003 2010-03-02 Paper...10 bytes (21 words) - 00:07, 11 December 2023
- combinatorial problems in logic programming 1990-01-01 Paper Simulation of hybrid circuits in constraint logic programming 1990-01-01 Paper A logic language for combinatorial...10 bytes (18 words) - 01:06, 10 December 2023
- Interval-valued soft constraint problems 2011-01-12 Paper Soft constraint problems with uncontrollable variables 2011-01-06 Paper Constraint Logic Programming 2010-07-20...10 bytes (17 words) - 19:24, 9 December 2023
- Paper Constraint Logic Programming with Polynomial Constraints over Finite Domains 2018-10-02 Paper Adding partial functions to Constraint Logic Programming...10 bytes (17 words) - 23:27, 24 September 2023
- concurrent constraint logic programs 2022-08-16 Paper Confluence in concurrent constraint programming 2022-08-16 Paper Proving correctness of Constraint Logic...10 bytes (16 words) - 01:57, 10 December 2023
- Cooperation of Solvers in Constraint Functional Logic Programming 2013-12-20 Paper A Declarative Embedding of XQuery in a Functional-Logic Language 2013-03-13...10 bytes (19 words) - 05:44, 7 October 2023
- Planning with preferences using logic programming 2006-08-28 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Sequential and...10 bytes (16 words) - 07:46, 9 December 2023
- Answers in Constraint Functional-Logic Programming 2008-04-11 Paper Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming 2008-03-11...10 bytes (20 words) - 19:29, 6 October 2023
- Practice of Constraint Programming – CP 2003 2010-03-02 Paper Principles and Practice of Constraint Programming – CP 2003 2010-03-02 Paper Programming Languages...10 bytes (18 words) - 00:40, 10 December 2023
- satisfaction for equational logic programming 1997-09-29 Paper Constraint logic programming with dynamic scheduling: A semantics based on closure operators 1997-09-28...10 bytes (16 words) - 12:26, 12 December 2023
- 2000-05-28 Paper Reasoning about solids using constraint logic programming 1999-04-26 Paper A constraint programming framework for local search methods 1999-01-01...10 bytes (16 words) - 09:22, 25 September 2023
- Advances in Constraints 2007-05-02 Paper Optimal union-find in Constraint Handling Rules 2007-03-08 Paper Logic Programming 2006-06-27 Paper Logic Based Program...10 bytes (16 words) - 03:35, 25 September 2023
- compilation of constraint handling rules in HAL 2005-10-18 Paper Logic Programming 2005-08-26 Paper Logic Programming 2005-08-26 Paper https://portal.mardi4nfdi...10 bytes (23 words) - 00:56, 10 December 2023
- Paper Logic programs with monotone abstract constraint atoms 2008-03-27 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming...10 bytes (17 words) - 14:24, 10 December 2023
- Principles and Practice of Constraint Programming – CP 2004 2008-09-09 Paper Principles and Practice of Constraint Programming – CP 2004 2008-09-09 Paper...10 bytes (17 words) - 09:08, 9 December 2023
- Stable Semantics of Logic Programs 2008-01-04 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Logic Programming and Nonmonotonic Reasoning...10 bytes (18 words) - 17:38, 11 December 2023
- Reactive Constraint Programming 2010-07-20 Paper https://portal.mardi4nfdi.de/entity/Q3396569 2009-09-19 Paper Logic Programming 2009-08-06 Paper Logic Programming...10 bytes (18 words) - 11:55, 11 December 2023
- concurrent constraint logic programming languages 2000-11-26 Paper Data-parallel concurrent constraint programming 1999-03-02 Paper Constraint satisfaction...10 bytes (19 words) - 06:09, 9 December 2023