SICStus
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Integrating answer set programming and constraint logic programming
- Non-strict independence-based program parallelization using sharing and freeness information
- Performance of Muse on switch-based multiprocessor machines
- A semantics for modular general logic programs
- CLPS-B
- CS-Prolog
- Mixtus: An automatic partial evaluator for full Prolog
- Scheduling speculative work in MUSE and performance results
- Distributed programming with logic tuple spaces
- BTestBox
- EventB2Java
- Running programs backwards: The logical inversion of imperative computation
- Temporal resolution using a breadth-first search algorithm
- GULP
- PowerForms
- LogiMOO
- MuTACLP
- LPTP
- CoreASM
- TOPOS
- SALSA
- HYPROLOG
- M-DPOP
- BABEL
- KLIC
- SMIL
- CHIP
- Programming constraint services. High-level programming of standard and new constraint services
- CSPLib
- Smodels
- DLV-EX
- Mozart
- WSAT(OIP)
- Integrating induction and abduction in logic programming
- Choco
- Rules2CP
- FlatZinc
- Gecode
- JaCoP
- clpfd
- Linear relaxations and reduced-Cost based propagation of continuous variable subscripts
- Prolog
- wamcc
- Oz
- YAP-Prolog
- B-Prolog
- Cardinal
- ProB
- Controlling the complexity in model-based diagnosis
- Hiord
- Mercury
- Zinc
- SLIDE
- ARA
- RALL
- CaSPER
- Linda
- Janus
- Lucinda
- Integrating formal specifications into applications: the ProB Java API
- Cellerator
- View-based propagator derivation
- On matrices, automata, and double counting in constraint programming
- Synchronized sweep algorithms for scalable scheduling constraints
- Ciao
- CiaoPP
- Graph matching problems and the NP-hardness of sortedness constraints
- \textsc{Tor}: modular search with hookable disjunction
- A new constraint programming approach for the orthogonal packing problem
- Propagation algorithms for lexicographic ordering constraints
- Automatic generation of redundant models for permutation constraint satisfaction problems
- Maxx: Test pattern optimisation with local search over an extended logic
- Towards constraint-based school timetabling
- Sweep synchronization as a global propagation mechanism
- A constraint programming approach to cutset problems
- NP Datalog
- fzn2smt
- XSB
- CAT
- YapOr
- OPTYap
- YapTab
- FOOL
- Using finite transducers for describing and synthesising structural time-series constraints
- CLPGUI
- An optimal strategy for the constrained cycle cover problem
- Optimization schemas for parallel implementation of non-deterministic languages and systems
- scientific article; zbMATH DE number 1692896 (Why is no real title available?)
- scientific article; zbMATH DE number 1692898 (Why is no real title available?)
- The Boolean constraint solver of SWI-Prolog (system description)
- A proposal for the cooperation of solvers in constraint functional logic programming
- The YAP prolog system
- SICStus Prolog -- the first 25 years
- The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines
- A design and implementation of the extended Andorra model
- STeP
- clpb
- CFLP
- Representing constraint satisfaction problems in answer set programming
- Intelligent data retrieval in prolog: An illuminating idea
This page was built for software: SICStus
