지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
초록
1. 서론
2. 문헌연구
3. FD-LP 혼합형 접근방법
4. 워렌의 추상기계(The Warren Abstract Machine)
5. 제약식 프로그래밍 솔버의 구현체
6. 혼합형 문제해결기의 구현
7. 결론과 앞으로의 연구 방향
참고문헌
Abstract
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Problem Solvers!
고분자 과학과 기술
2003 .04
논리언어에서의 정수 프로그래밍을 위한 제약조건 해결기의 구현
대한전자공학회 학술대회
1996 .11
논리언어에서의 정수 프로그래밍을 위한 제약조건 해결기의 구현 ( Constraint Solver for Integer Programming in Logic Programming )
대한전자공학회 학술대회
1996 .11
구조해석의 One-Model One-Solver 기법 연구
대한기계학회 춘추학술대회
2012 .05
논리언어에서 최적화문제를 위한 제약해결기의 구현
한국정보과학회 학술발표논문집
1994 .04
Ontology Design for Solver Reuse in Web Services Based Model Management Systems
한국지능정보시스템학회 학술대회논문집
2003 .11
Web Interface for Mathematical Programming Solvers
대한산업공학회 추계학술대회 논문집
2005 .11
Frequency Domain Solver를 이용한 평판형 선형유도전동기의 성능해석의 해석오차에 관한 연구
한국철도학회 논문집
2018 .12
직접 행렬해법에 대한 일반적 비교
한국소성가공학회 학술대회 논문집
2001 .10
A Geometric Constraint Solver for Parametric Modeling
한국CDE학회 논문집
1998 .12
제약논리언어를 위한 제약조건해결기의 구현 ( Implementation of Constraint solver in CLP language : MIP-Prolog )
한국지능정보시스템학회 학술대회논문집
1993 .07
역 문제 해법용 계측기 방정식
한국소음진동공학회 학술대회논문집
1999 .11
논리언어에서의 제약조건해결기 구현 및 최적화에 관한 연구
한국정보과학회 학술발표논문집
1993 .10
[서평]Building Problem Solvers
정보과학회지
1995 .08
High Performance Hybrid Direct-Iterative Solution Method for Large Scale Structural Analysis Problems
International Journal of Aeronautical and Space Sciences
2008 .12
General Problem Solver를 이용한 Intelligent LP 모형화에 대한 연구
대한산업공학회 춘계공동학술대회 논문집
1991 .05
고속 FPGA 모델을 쉽게 구현할 수 있도록 하는 Solver 기술
전력전자학회지
2015 .08
Frontal Solver를 이용한 관로내의 흐름해석
대한토목학회 학술발표회 논문집
1995 .10
Study on the open boundary condition of shallow flows with using approximate Riemann solvers
대한토목학회 학술대회
2017 .10
A neural network solver for differential equations
제어로봇시스템학회 국제학술대회 논문집
2001 .10
0