-
1Academic Journal
Συγγραφείς: Sun, Yunlei, Li, Yucong, Liu, Kangping
Πηγή: Tehnički Vjesnik, Vol 30, Iss 6, Pp 2026-2035 (2023)
Tehnički vjesnik
Volume 30
Issue 6Θεματικοί όροι: algorithm testing, open-source geometric constraint solver, DFP method, numerical constraint solving algorithm, TA1-2040, Engineering (General). Civil engineering (General)
Περιγραφή αρχείου: application/pdf
-
2Academic Journal
Συγγραφείς: Yunlei Sun, Yucong Li, Kangping Liu
Πηγή: Tehnički Vjesnik, Vol 30, Iss 6, Pp 2026-2035 (2023)
Θεματικοί όροι: algorithm testing, DFP method, numerical constraint solving algorithm, open-source geometric constraint solver, Engineering (General). Civil engineering (General), TA1-2040
Relation: https://hrcak.srce.hr/file/446424; https://doaj.org/toc/1330-3651; https://doaj.org/toc/1848-6339; https://doaj.org/article/889c001250d94fdfb14f13888fea968b
Διαθεσιμότητα: https://doaj.org/article/889c001250d94fdfb14f13888fea968b
-
3Book
Συγγραφείς: Kenichi Asai
Πηγή: Lecture Notes in Computer Science ISBN: 9783540664598
Θεματικοί όροι: binding-time analyzer, 4. Education, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Functional programming and lambda calculus, constraint solving algorithm
Περιγραφή αρχείου: application/xml
Σύνδεσμος πρόσβασης: https://rd.springer.com/chapter/10.1007/3-540-48294-6_8
https://link.springer.com/article/10.1007/BF03037258
https://core.ac.uk/display/20933056
https://dblp.uni-trier.de/db/conf/sas/sas99.html#Asai99
https://dblp.uni-trier.de/db/journals/ngc/ngc20.html#Asai01
https://link.springer.com/content/pdf/10.1007/BF03037258.pdf
https://link.springer.com/article/10.1007/BF03037258 -
4eBook
Συγγραφείς: Suzuki, TetsuyaAff1, Kakinuma, NobuoAff1, Tokuda, TakehiroAff1
Συνεισφορές: Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Freuder, Eugene C., editor
Πηγή: Principles and Practice of Constraint Programming — CP96 : Second International Conference, CP96 Cambridge, MA, USA, August 19–22, 1996 Proceedings. 1118:425-435
-
5Academic Journal
Συγγραφείς: Suzuki, Tetsuya, Tokuda, Takehiro
Συνδεδεμένο Πλήρες ΚείμενοΠηγή: Constraints. October 1998 3(4):331-341