Výsledky vyhledávání - Logic AND Constraint Programming Keywords constraint programming*

  1. 1

    Contractibility for open global constraints Autor MAHER, MICHAEL J.

    ISSN: 1471-0684, 1475-3081
    Vydáno: Cambridge, UK Cambridge University Press 01.07.2017
    “… Such forms are needed for difficult constraint programming problems, where problem construction and problem solving are interleaved, and fit naturally within constraint logic programming…”
    Získat plný text
    Journal Article
  2. 2

    Classifier-based constraint acquisition Autor Prestwich, S. D., Freuder, E. C., O’Sullivan, B., Browne, D.

    ISSN: 1012-2443, 1573-7470
    Vydáno: Cham Springer International Publishing 01.07.2021
    “… Constraint acquisition methods attempt to automate this process by learning constraints from examples of solutions and (usually) non-solutions…”
    Získat plný text
    Journal Article
  3. 3

    Constraints on signaling network logic reveal functional subgraphs on Multiple Myeloma OMIC data Autor Miannay, Bertrand, Minvielle, Stéphane, Magrangeas, Florence, Guziolowski, Carito

    ISSN: 1752-0509, 1752-0509
    Vydáno: London BioMed Central 21.03.2018
    Vydáno v BMC systems biology (21.03.2018)
    “… Results We start by modeling the biological network representing its underlying logic using Logic Programming…”
    Získat plný text
    Journal Article
  4. 4

    A Constraint Logic Programming Algorithm for Modeling Dynamic Pricing Autor Oliveira, Fernando S

    ISSN: 1091-9856, 1526-5528, 1091-9856
    Vydáno: Linthicum INFORMS 2008
    Vydáno v INFORMS journal on computing (2008)
    “… (when an optimum does exist) and propose a constraint logic programming solution to this problem…”
    Získat plný text
    Journal Article
  5. 5

    A Framework for Semantic Group Formation in Education Autor Ounnas, Asma, Davis, Hugh C, Millard, David E

    ISSN: 1176-3647, 1436-4522, 1436-4522
    Vydáno: Palmerston North International Forum of Educational Technology & Society 01.10.2009
    Vydáno v Educational technology & society (01.10.2009)
    “… The use of both Semantic Web technologies and Logic programming proved to increase the satisfaction of the constraints and overcome the orphans' problem…”
    Získat plný text
    Journal Article
  6. 6

    USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition Autor Kona, Srividya, Bansal, Ajay, Simon, Luke, Mallya, Ajay, Gupta, Gopal

    ISSN: 1545-7362, 1546-5004
    Vydáno: Hershey IGI Global 01.01.2009
    “…Web services and Service-Oriented Computing is being widely adopted. In order to effectively reuse existing services, we need an infrastructure that allows…”
    Získat plný text
    Journal Article
  7. 7

    Monomial geometric programming with fuzzy relation equation constraints regarding max-bounded difference composition operator Autor Molai, Ali Abbasi

    ISSN: 2146-1147, 2146-1147
    Vydáno: Istanbul Turkic World Mathematical Society 01.07.2015
    “… Keywords: Geometric optimization, Fuzzy relation equations, Max-bounded difference composition operator, Non-convex programming, Fuzzy optimization…”
    Získat plný text
    Journal Article
  8. 8

    A fuzzy multidimensional multiple-choice knapsack model for project portfolio selection using an evolutionary algorithm Autor Tavana, Madjid, Khalili-Damghani, Kaveh, Abtahi, Amir-Reza

    ISSN: 0254-5330, 1572-9338
    Vydáno: Boston Springer US 01.07.2013
    Vydáno v Annals of operations research (01.07.2013)
    “… Numerous analytical techniques ranging from simple weighted scoring to complex mathematical programming approaches have been proposed to solve these problems with precise data…”
    Získat plný text
    Journal Article
  9. 9

    Spreadsheet computing with Finite Domain Constraint Enhancements Autor Beyenne, Ezana N

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 22.02.2022
    Vydáno v arXiv.org (22.02.2022)
    “… The spreadsheet application's ease of use and usefulness has enabled non-programmers to perform programming-like tasks in a familiar setting modeled after the tabular "pen and paper" approach…”
    Získat plný text
    Paper
  10. 10

    Inductive Data Types Based on Fibrations Theory in Programming Autor Miao, Decheng, Xi, Jianqing, Guo, Yubin, Tang, Deyou

    ISSN: 1846-3908, 1330-1136, 1846-3908
    Vydáno: Sveuciliste U Zagrebu 01.03.2016
    “…Traditional methods including algebra and category theory have some deficiencies in analyzing semantics properties and describing inductive rules of inductive…”
    Získat plný text
    Journal Article Paper
  11. 11

    A polynomial relational class of binary CSP Autor Jguirim, Wafa, Naanaa, Wady, Cooper, Martin C.

    ISSN: 1012-2443, 1573-7470
    Vydáno: Cham Springer International Publishing 01.05.2018
    “…Finding a solution to a constraint satisfaction problem (CSP) is known to be an NP-hard task…”
    Získat plný text
    Journal Article
  12. 12

    Single-facility scheduling by logic-based benders decomposition Autor Coban, Elvin, Hooker, J.N

    ISSN: 0254-5330
    Vydáno: Springer 01.11.2013
    Vydáno v Annals of operations research (01.11.2013)
    “…Logic-based Benders decomposition can combine mixed integer programming and constraint programming to solve planning and scheduling problems much faster than either method alone…”
    Získat plný text
    Journal Article
  13. 13

    Mathematical models of trade-off schemes in multicriteria mathematical programming problems with fuzzy constraints Autor Zack, Yu. A.

    ISSN: 1060-0396, 1573-8337
    Vydáno: Boston Springer US 01.09.2010
    Vydáno v Cybernetics and systems analysis (01.09.2010)
    “…Single- and multicriteria mathematical programming problems with fuzzy constraints are formulated as vector optimization problems…”
    Získat plný text
    Journal Article
  14. 14

    Enhanced Spreadsheet Computing with Finite-Domain Constraint Satisfaction Autor Beyenne, Ezana N, Hai-Feng, Guo

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 22.02.2022
    Vydáno v arXiv.org (22.02.2022)
    “… It provides excellent usability and usefulness, and it easily enables a non-programmer to perform programming-like tasks in a visual tabular "pen and paper" approach…”
    Získat plný text
    Paper
  15. 15

    More Logic Puzzle Apps Solved by Mathematical Programming Autor Hartmann, Sonke

    ISSN: 1532-0545, 1532-0545
    Vydáno: Institute for Operations Research and the Management Sciences 01.09.2019
    Vydáno v Transactions on education (01.09.2019)
    “… The puzzles lead to a broad variety of exercises, ranging from graph models to specific constraint types such as logical and inequality constraints. Keywords: puzzle…”
    Získat plný text
    Journal Article
  16. 16

    Optimal resource allocation and scheduling for the CELL BE platform Autor Benini, Luca, Lombardi, Michele, Milano, Michela, Ruggiero, Martino

    ISSN: 0254-5330, 1572-9338
    Vydáno: Boston Springer US 01.04.2011
    Vydáno v Annals of operations research (01.04.2011)
    “… The first is based on the recursive application of the Logic Based Benders decomposition, resulting in a three stage algorithm…”
    Získat plný text
    Journal Article
  17. 17

    A Linear Mathematical Model of the Vocational Training Problem in a Company Using Neutrosophic Logic, Hyperfunctions, and SuperHyperFunction Autor Jdid, Maissam, Smarandache, Florentin, Fujita, Takaaki

    ISSN: 2331-6055, 2331-608X
    Vydáno: Neutrosophic Sets and Systems 01.11.2025
    Vydáno v Neutrosophic sets and systems (01.11.2025)
    “… Mathematical models consist of an objective function, through which we search for the maximum or minimum value, and constraints…”
    Získat plný text
    Journal Article
  18. 18

    Spatial reasoning as a syntactic method for programming socio-spatial parametric grammar for vertical residential buildings Autor Al-Jokhadar, Amer, Jabi, Wassim

    ISSN: 0003-8628, 1758-9622
    Vydáno: Taylor & Francis 03.03.2020
    Vydáno v Architectural science review (03.03.2020)
    “…Integrating social constraints in computational models remains a challenge due to the difficulties in representing them algorithmically…”
    Získat plný text
    Journal Article
  19. 19

    Development of XQuery Interpreter Extensions Based on Fuzzy Logic with Priorities Autor Sae-Ueng, Pannipa

    ISBN: 9798352613207
    Vydáno: ProQuest Dissertations & Theses 01.01.2021
    “…In many real-world applications, information is often imprecise and uncertain. With the popularity of web-based applications, huge amounts of data are…”
    Získat plný text
    Dissertation
  20. 20

    Extended notions of sign consistency to relate experimental data to signaling and regulatory network topologies Autor Thiele, Sven, Cerone, Luca, Saez-Rodriguez, Julio, Siegel, Anne, Guziołowski, Carito, Klamt, Steffen

    ISSN: 1471-2105, 1471-2105
    Vydáno: London BioMed Central 28.10.2015
    Vydáno v BMC bioinformatics (28.10.2015)
    “…Background A rapidly growing amount of knowledge about signaling and gene regulatory networks is available in databases such as KEGG, Reactome, or RegulonDB…”
    Získat plný text
    Journal Article