| dc.contributor.author | Burneika, Linas | |
| dc.date.accessioned | 2023-09-18T17:29:06Z | |
| dc.date.available | 2023-09-18T17:29:06Z | |
| dc.date.issued | 2009 | |
| dc.identifier.issn | 1822-2951 | |
| dc.identifier.other | (BIS)VGT02-000019158 | |
| dc.identifier.uri | https://etalpykla.vilniustech.lt/handle/123456789/123697 | |
| dc.description.abstract | The process of product configuration is about finding a specific product consisting of components, predefined in advance. The set of all available components, their properties, and interconnection constraints define the domain of product family. The number of specific products (or product variants) directly depends on the number of members and constraints in the domain. The manual management of documentation for product family is a complex, error prone and time consuming process. So the product configurator is a software tool, assisting the user in selection of product, satisfying his requirements. This article shows how information of product domain could be expressed as first order logical formulas with linear integer and real arithmetic. The methodology and interactive feedback algorithm is provided utilizing the satisfiability modulo theories solver for interactive evaluation of product configuration. | eng |
| dc.format.extent | p. 69-75 | |
| dc.format.medium | tekstas / txt | |
| dc.language.iso | eng | |
| dc.relation.isreferencedby | Conference Proceedings Citation Index - Science (Web of Science) | |
| dc.title | Interactive product configurator based on satisfiability modulo theories solver | |
| dc.type | Straipsnis konferencijos darbų leidinyje Web of Science DB / Paper in conference publication in Web of Science DB | |
| dcterms.accessRights | IDS Number: BJJ08 | |
| dcterms.references | 15 | |
| dc.type.pubtype | P1a - Straipsnis konferencijos darbų leidinyje Web of Science DB / Article in conference proceedings Web of Science DB | |
| dc.contributor.institution | Vilniaus Gedimino technikos universitetas | |
| dc.contributor.faculty | Mechanikos fakultetas / Faculty of Mechanics | |
| dc.subject.researchfield | T 010 - Matavimų inžinerija / Measurement engineering | |
| dc.subject.en | Product configurator | |
| dc.subject.en | Satisfiability solver | |
| dc.subject.en | Algorithm | |
| dcterms.sourcetitle | Mechanika-2009: proceedings of the 14th international conference, April 2-3, 2009, Kaunas University of Technology, Lithuania / Kaunas University of Technology, Lithuanian Academy of Sciences, IFTOMM National Committee of Lithuania, Baltic Association of Mechanical Engineering (BAME) | |
| dc.publisher.name | Technologija | |
| dc.publisher.city | Kaunas | |
| dc.identifier.doi | 000266322100013 | |
| dc.identifier.elaba | 3870524 | |
