Search results
From MaRDI portal
- preferences using logic programming 2006-08-28 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Sequential and parallel algorithms for...10 bytes (13 words) - 06:46, 9 December 2023
- CPBPV: a constraint-programming framework for bounded program verification 2010-05-05 Paper Principles and Practice of Constraint Programming – CP 2003 2010-03-02...10 bytes (16 words) - 00:06, 10 December 2023
- dynamic semantics of the programming language 2005-09-05 Paper A language and programming environment for high-performance parallel computing on heterogeneous...10 bytes (15 words) - 09:52, 9 December 2023
- Structure Conveying Parallelizable Modeling Language for Mathematical Programming 2009-03-12 Paper High-Performance Parallel Support Vector Machine Training 2009-03-12...10 bytes (13 words) - 16:36, 8 December 2023
- processes for a structural programming language 1988-01-01 Paper Theoretical and applied aspects of structured parallel programming 1987-01-01 Paper Multilevel...10 bytes (15 words) - 09:50, 13 December 2023
- in Algorithm Selection for Answer Set Programming 2014-11-25 Paper Answer set programming as a modeling language for course timetabling 2014-02-27 Paper...10 bytes (16 words) - 19:59, 11 December 2023
- 1995-06-27 Paper Parallel Factorization of Structured Matrices Arising in Stochastic Programming 1995-06-07 Paper Data-level parallel solution of min-cost...10 bytes (15 words) - 04:48, 9 December 2023
- in a language with singleton kinds 2015-03-17 Paper Adaptive functional programming 2015-03-17 Paper Space profiling for parallel functional programs 2015-03-16...10 bytes (15 words) - 19:33, 6 October 2023
- 2006-05-22 Paper A language and programming environment for high-performance parallel computing on heterogeneous networks 2004-02-08 Paper Parallel Computing on...10 bytes (17 words) - 09:52, 9 December 2023
- for linear and integer programming 2012-06-08 Paper Extending an algebraic modeling language to support constraint programming 2012-05-30 Paper DrAmpl:...10 bytes (14 words) - 11:16, 12 December 2023
- 1991-01-01 Paper A Modeling Language for Mathematical Programming 1990-05-01 Paper A Modeling Language for Mathematical Programming 1990-01-01 Paper https://portal...10 bytes (17 words) - 17:07, 6 October 2023
- revisited language and programming environment 2021-12-01 Paper Paracoherent answer set computation 2021-11-02 Paper The Seventh Answer Set Programming Competition:...10 bytes (13 words) - 01:00, 7 October 2023
- Inductive Logic Programming 2006-10-19 Paper Logic Programming 2006-06-27 Paper Logic Programming 2006-06-27 Paper Logic Programming 2005-08-26 Paper Euro-Par...10 bytes (15 words) - 10:42, 6 October 2023
- 2013-01-07 Paper Transparent parallelization of constraint programming 2012-07-28 Paper A modeling layer for constraint-programming libraries 2012-06-18 Paper...10 bytes (14 words) - 02:17, 12 December 2023
- Publication Date of Publication Type Nonwellfounded sets and programming language semantics 2023-08-16 Paper A structural co-induction theorem 2023-04-28...10 bytes (21 words) - 23:56, 9 December 2023
- analysis for a concurrent reversible programming language 2024-11-13 Paper revTPL: The Reversible Temporal Process Language 2024-03-11 Paper A reversible debugger...10 bytes (13 words) - 18:08, 21 September 2023
- structured programming 1979-01-01 Paper Theory of language processors and parallel computations 1979-01-01 Paper Multilayer syntactic analysis of parallel programming...10 bytes (15 words) - 00:47, 13 December 2023
- Combinatorics 2006-01-11 Paper Automata, Languages and Programming 2006-01-10 Paper Developments in Language Theory 2005-12-22 Paper Algorithms and Computation...10 bytes (17 words) - 18:26, 9 December 2023
- Variational Inequalities, with a Parallel Application to Optimal Control 1998-01-01 Paper QPCOMP: A quadratic programming based solver for mixed complementarity...10 bytes (15 words) - 17:51, 9 December 2023
- Real-Time Action Description Language 2009-01-15 Paper Coinductive Logic Programming 2008-03-11 Paper PALS: Efficient Or-Parallel execution of Prolog on Beowulf...10 bytes (14 words) - 20:57, 10 December 2023
