The following pages link to SICStus (Q24368):
Displaying 50 items.
- Using finite transducers for describing and synthesising structural time-series constraints (Q265697) (← links)
- Probabilistic abductive logic programming using Dirichlet priors (Q324690) (← links)
- Solving constraint satisfaction problems with SAT modulo theories (Q487632) (← links)
- Search combinators (Q487659) (← links)
- Constraint solving for interpolation (Q604394) (← links)
- Philosophy of the MiniZinc challenge (Q606904) (← links)
- Finite-tree analysis for constraint logic-based languages (Q817224) (← links)
- Filtering algorithms for the multiset ordering constraint (Q835808) (← links)
- Reformulation of global constraints based on constraints checkers (Q850448) (← links)
- Applying ad-hoc global constraints with the case constraint to still-life (Q850462) (← links)
- A new generic scheme for functional logic programming with constraints (Q880985) (← links)
- Modeling biological systems in stochastic concurrent constraint programming (Q941672) (← links)
- An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints (Q968351) (← links)
- Integrating answer set programming and constraint logic programming (Q1028649) (← links)
- Non-strict independence-based program parallelization using sharing and freeness information (Q1035704) (← links)
- Performance of Muse on switch-based multiprocessor machines (Q1205182) (← links)
- A semantics for modular general logic programs (Q1274967) (← links)
- Mixtus: An automatic partial evaluator for full Prolog (Q1313369) (← links)
- Scheduling speculative work in MUSE and performance results (Q1322509) (← links)
- Distributed programming with logic tuple spaces (Q1329178) (← links)
- Running programs backwards: The logical inversion of imperative computation (Q1377325) (← links)
- Temporal resolution using a breadth-first search algorithm (Q1383357) (← links)
- Programming constraint services. High-level programming of standard and new constraint services (Q1600089) (← links)
- Integrating induction and abduction in logic programming (Q1818759) (← links)
- Linear relaxations and reduced-Cost based propagation of continuous variable subscripts (Q1854751) (← links)
- Controlling the complexity in model-based diagnosis (Q1924811) (← links)
- Integrating formal specifications into applications: the ProB Java API (Q2147695) (← links)
- View-based propagator derivation (Q2342586) (← links)
- On matrices, automata, and double counting in constraint programming (Q2342587) (← links)
- Synchronized sweep algorithms for scalable scheduling constraints (Q2342649) (← links)
- Graph matching problems and the NP-hardness of sortedness constraints (Q2402671) (← links)
- \textsc{Tor}: modular search with hookable disjunction (Q2441515) (← links)
- A new constraint programming approach for the orthogonal packing problem (Q2456654) (← links)
- Propagation algorithms for lexicographic ordering constraints (Q2457611) (← links)
- Automatic generation of redundant models for permutation constraint satisfaction problems (Q2460256) (← links)
- Maxx: Test pattern optimisation with local search over an extended logic (Q2460257) (← links)
- Towards constraint-based school timetabling (Q2468741) (← links)
- Sweep synchronization as a global propagation mechanism (Q2489125) (← links)
- A constraint programming approach to cutset problems (Q2489126) (← links)
- An Optimal Strategy for the Constrained Cycle Cover Problem (Q2741265) (← links)
- Optimization schemas for parallel implementation of non‐deterministic languages and systems (Q2758698) (← links)
- (Q2763636) (← links)
- (Q2763639) (← links)
- The Boolean Constraint Solver of SWI-Prolog (System Description) (Q2798256) (← links)
- A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming (Q2867959) (← links)
- The YAP Prolog system (Q2893087) (← links)
- SICStus Prolog—The first 25 years (Q2893089) (← links)
- The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines (Q2893093) (← links)
- A design and implementation of the Extended Andorra Model (Q2909520) (← links)
- (Q3089162) (← links)
