swMATH12440MaRDI QIDQ24368FDOQ24368
Author name not available (Why is that?)
Official website: https://sicstus.sics.se/
Cited In (only showing first 100 items - show all)
- Solving nesting problems with non-convex polygons by constraint logic programming
- View-based propagator derivation
- \textsc{Tor}: modular search with hookable disjunction
- An optimal strategy for the constrained cycle cover problem
- A constraint programming approach to cutset problems
- Title not available (Why is that?)
- BMotionWeb
- JeB
- VisB
- WebASM
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
- A design and implementation of the extended Andorra model
- Applying ad-hoc global constraints with the case constraint to still-life
- Optimization schemas for parallel implementation of non-deterministic languages and systems
- On matrices, automata, and double counting in constraint programming
- Graph matching problems and the NP-hardness of sortedness constraints
- A semantics for modular general logic programs
- Maxx: Test pattern optimisation with local search over an extended logic
- SICStus Prolog -- the first 25 years
- On relation between constraint answer set programming and satisfiability modulo theories
- A new generic scheme for functional logic programming with constraints
- Concolic testing in logic programming
- Integrating formal specifications into applications: the ProB Java API
- Integrating finite domain and set constraints into a set-based constraint language
- Title not available (Why is that?)
- Intelligent data retrieval in prolog: An illuminating idea
- Two loop detection mechanisms: a comparison
- ACIDE
- InfOCF-Web
- Logic + control: on program construction and verification
- Controlling the complexity in model-based diagnosis
- Scheduling speculative work in MUSE and performance results
- Distributed programming with logic tuple spaces
- Title not available (Why is that?)
- Non-strict independence-based program parallelization using sharing and freeness information
- Linear relaxations and reduced-Cost based propagation of continuous variable subscripts
- Title not available (Why is that?)
- Test Data Generation of Bytecode by CLP Partial Evaluation
- Directional types and the annotation method
- Implementing type theory in higher order constraint logic programming
- BTestBox
- EventB2Java
- Integrating induction and abduction in logic programming
- Performance of Muse on switch-based multiprocessor machines
- A proposal for the cooperation of solvers in constraint functional logic programming
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- The Boolean constraint solver of SWI-Prolog (system description)
- Running programs backwards: The logical inversion of imperative computation
- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
- Propagation algorithms for lexicographic ordering constraints
- Principles and Practice of Constraint Programming – CP 2004
- Mixtus: An automatic partial evaluator for full Prolog
- Using finite transducers for describing and synthesising structural time-series constraints
- The YAP prolog system
- Sweep synchronization as a global propagation mechanism
- Reformulation of global constraints based on constraints checkers
- Modeling biological systems in stochastic concurrent constraint programming
- An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints
- Temporal resolution using a breadth-first search algorithm
- Integrating answer set programming and constraint logic programming
- Constraint solving for interpolation
- On applying or-parallelism and tabling to logic programs
- A new constraint programming approach for the orthogonal packing problem
- Constraint answer set solver EZCSP and why integration schemas matter
- Probabilistic abductive logic programming using Dirichlet priors
- Representing constraint satisfaction problems in answer set programming
- DLV-EX
- Smodels
- Mozart
- WSAT(OIP)
- Choco
- FlatZinc
- Gecode
- clpfd
- JaCoP
- Rules2CP
- Prolog
- wamcc
- Oz
- B-Prolog
- Cardinal
- ProB
- YAP-Prolog
- Hiord
- From Rules to Constraint Programs with the Rules2CP Modelling Language
- ARA
- Mercury
- CaSPER
- SLIDE
- RALL
- Zinc
- Janus
- Linda
- Lucinda
- Cellerator
- Ciao
- CiaoPP
- fzn2smt
- NP Datalog
- CAT
This page was built for software: SICStus
