Skip to search formSkip to main contentSkip to account menu

JaCoP (solver)

JaCoP is a constraint solver for constraint satisfaction problems. It is written in Java and it is provided as a Java library. JaCoP has an interface… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
AMPLClojureConstraint satisfactionConstraint satisfaction problem

Broader (1)

Constraint programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Control flow models using Petri nets for model based testing
Model-Based Testing is a testing approach used for automated test generation, execution, and evaluation. It is based on a formal… 
2015
2015
A General Local Search Solver for FlatZinc
MiniZinc [5, 7] is a high-level declarative modeling language that has become quite popular in the lastfew years. One of the main… 
2015
2015
Constraint-Based Genetic Compilation
Synthetic biology aims at facilitating the design of new organisms via the standardization of biological parts and following… 
2014
2014
Sequence Similarity to Cingulin at the Apical Junctional Complex with JACOP, a Novel Plaque Protein Localizing Developmental Biology: Molecular Basis of Cell and
2013
2013
Prototyper des Moteurs de Propagation avec un DSL
Constraint propagation is at the heart of constraint solvers. Two main trends co-exist: variable-oriented propagation engines and… 
2012
2012
Is Limb Loss Always Inevitable for Critical Neuro-Ischemic Foot Wounds in Diabetic Patients with End Stage Renal Disease and Unfit for Vascular Reconstructions?
End stage renal disease (ESRD) and diabetes mellitus are independently associated with advanced atherosclerosis with extended… 
2008
2008
Partitioning parameterized 45-degree polygons with constraint programming
An algorithm for partitioning parameterized 45-degree polygons into parameterized trapezoids is proposed in this article. The… 
2005
2005
JACOP, a novel plaque protein localizing at the apical junctional complex with sequence similarity to cingulin
2005
2005
A constraints programming approach for fabric cell synthesis
This paper presents a novel method to generate optimized architecture of hardware processes implemented on "system on a… 
2000
2000
JACOP Database を用いた自律的会話学習方法の検討
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)