A Hybrid BDD and SAT Finite Domain Constraint Solver

2005 ◽  
pp. 103-117 ◽  
Author(s):  
Peter Hawkins ◽  
Peter J. Stuckey
Keyword(s):  
Finite Domain ◽  
Constraint Solver

Rolling Your Own Finite-Domain Constraint Solver

Game AI Pro 2 ◽  
2015 ◽  
pp. 283-302
Author(s):  
Leif Foged ◽  
Ian Horswill
Keyword(s):  
Finite Domain ◽  
Constraint Solver

scholarly journals On the implementation ofGNU Prolog

2011 ◽  
Vol 12 (1-2) ◽  
pp. 253-282 ◽  
Author(s):  
DANIEL DIAZ ◽  
SALVADOR ABREU ◽  
PHILIPPE CODOGNET
Keyword(s):  
High Performance ◽  
System Organization ◽  
General Purpose ◽  
Finite Domain ◽  
Organization Performance ◽  
Constraint Solver ◽  
Native Code

AbstractGNU Prologis a general-purpose implementation of the Prolog language, which distinguishes itself from most other systems by being, above all else, a native-code compiler which produces stand-alone executables which do not rely on any bytecode emulator or meta-interpreter. Other aspects which stand out include the explicit organization of the Prolog system as a multipass compiler, where intermediate representations are materialized, in Unix compiler tradition.GNU Prologalso includes an extensible and high-performance finite-domain constraint solver, integrated with the Prolog language but implemented using independent lower-level mechanisms. This paper discusses the main issues involved in designing and implementingGNU Prolog: requirements, system organization, performance, and portability issues as well as its position with respect to other Prolog system implementations and the ISO standardization initiative.

A new Reliable Numerical Algorithm Based on the First Kind of Bessel Functions to Solve Prandtl–Blasius Laminar Viscous Flow over a Semi-Infinite Flat Plate

2012 ◽  
Vol 67 (12) ◽  
pp. 665-673 ◽  
Author(s):  
Kourosh Parand ◽  
Mehran Nikarya ◽  
Jamal Amani Rad ◽  
Fatemeh Baharifard
Keyword(s):  
Viscous Flow ◽  
Flat Plate ◽  
Numerical Algorithm ◽  
Bessel Functions ◽  
Nonlinear Ordinary Differential Equation ◽  
Finite Domain ◽  
Algebraic Equations ◽  
Infinite Domain ◽  
Third Order ◽  
Domain Truncation

In this paper, a new numerical algorithm is introduced to solve the Blasius equation, which is a third-order nonlinear ordinary differential equation arising in the problem of two-dimensional steady state laminar viscous flow over a semi-infinite flat plate. The proposed approach is based on the first kind of Bessel functions collocation method. The first kind of Bessel function is an infinite series, defined on ℝ and is convergent for any x ∊ℝ. In this work, we solve the problem on semi-infinite domain without any domain truncation, variable transformation basis functions or transformation of the domain of the problem to a finite domain. This method reduces the solution of a nonlinear problem to the solution of a system of nonlinear algebraic equations. To illustrate the reliability of this method, we compare the numerical results of the present method with some well-known results in order to show the applicability and efficiency of our method.

An incremental constraint solver

1990 ◽  
Vol 33 (1) ◽  
pp. 54-63 ◽  
Author(s):  
Bjorn N. Freeman-Benson ◽  
John Maloney ◽  
Alan Borning
Keyword(s):  
Constraint Solver
Sign in / Sign up

Export Citation Format

Share Document