SICStus
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Propagation algorithms for lexicographic ordering constraints
- ACIDE
- Principles and Practice of Constraint Programming – CP 2004
- Using finite transducers for describing and synthesising structural time-series constraints
- Removing irrelevant information in temporal resolution proofs
- Mixtus: An automatic partial evaluator for full Prolog
- Backjumping is Exception Handling
- View-based propagator derivation
- \textsc{Tor}: modular search with hookable disjunction
- Solving nesting problems with non-convex polygons by constraint logic programming
- An optimal strategy for the constrained cycle cover problem
- A constraint programming approach to cutset problems
- scientific article; zbMATH DE number 1692896 (Why is no real title available?)
- The YAP prolog system
- Applying ad-hoc global constraints with the case constraint to still-life
- A design and implementation of the extended Andorra model
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
- Reformulation of global constraints based on constraints checkers
- Sweep synchronization as a global propagation mechanism
- Modeling biological systems in stochastic concurrent constraint programming
- Optimization schemas for parallel implementation of non-deterministic languages and systems
- On matrices, automata, and double counting in constraint programming
- A semantics for modular general logic programs
- Graph matching problems and the NP-hardness of sortedness constraints
- scientific article; zbMATH DE number 7453192 (Why is no real title available?)
- Maxx: Test pattern optimisation with local search over an extended logic
- An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
- Operational semantics for reexecution-based analysis of logic programs with delay declarations
- Temporal resolution using a breadth-first search algorithm
- Integrating answer set programming and constraint logic programming
- SICStus Prolog -- the first 25 years
- scientific article; zbMATH DE number 2084746 (Why is no real title available?)
- A new generic scheme for functional logic programming with constraints
- Constraint solving for interpolation
- On relation between constraint answer set programming and satisfiability modulo theories
- Integrating formal specifications into applications: the ProB Java API
- Description and optimization of abstract machines in a dialect of Prolog
- Integrating finite domain and set constraints into a set-based constraint language
- Intelligent data retrieval in prolog: An illuminating idea
- Concolic testing in logic programming
- scientific article; zbMATH DE number 879004 (Why is no real title available?)
- On applying or-parallelism and tabling to logic programs
- A new constraint programming approach for the orthogonal packing problem
- CLPS-B
- CS-Prolog
- GULP
- LogiMOO
- PowerForms
- MuTACLP
- CoreASM
- LPTP
- TOPOS
- HYPROLOG
- SALSA
- M-DPOP
- BABEL
- CHIP
- KLIC
- SMIL
- CSPLib
- DLV-EX
- Smodels
- Mozart
- WSAT(OIP)
- Choco
- FlatZinc
- Gecode
- clpfd
- JaCoP
- Rules2CP
- Prolog
- wamcc
- Oz
- B-Prolog
- Cardinal
- ProB
- YAP-Prolog
- Hiord
- ARA
- Mercury
- CaSPER
- SLIDE
- RALL
- Zinc
- Janus
- Linda
- Lucinda
- Cellerator
- Ciao
- CiaoPP
- fzn2smt
- NP Datalog
- CAT
- OPTYap
- FOOL
- XSB
- YapOr
- YapTab
- CLPGUI
- GHC
This page was built for software: SICStus
