Jump to main content

yr 〜
yr

Search results 302

Principles and practice of constraint programming : 20th international conference, CP 2014 : Lyon, France, September 8-12, 2014 : proceedings : Sep 2014, Lyon, France. (Lecture Notes in Computer Science ; 8656)

Principles and practice of constraint programming : 20th international conference, CP 2014 : Lyon, France, September 8-12, 2014 : proceedings : Sep 2014, Lyon, France. (Lecture Notes in Computer Science ; 8656)
Paper図書
Springer[2014]<M17-15-690>
National Diet Library
  • Subject HeadingConstraint programming (Computer science)--Congresses. Constraint programming (Computer science...

Principles and practice of constraint programming : 21st international conference, CP 2015 : Cork, Ireland, August 31-September 4, 2015 : proceedings : George Boole 200 : Aug 2015, Cork, Ireland. (Lecture Notes in Computer Science ; 9255)

Principles and practice of constraint programming : 21st international conference, CP 2015 : Cork, Ireland, August 31-September 4, 2015 : proceedings : George Boole 200 : Aug 2015, Cork, Ireland. (Lecture Notes in Computer Science ; 9255)
Paper図書
Springer[2015]<M17-16-587>
National Diet Library
  • Summary, etc....nd Practice of Constraint Programming, C......computing with constraints, including theory, algorithm...
  • Subject HeadingConstraint programming (C......cl. Robotics). Constraint programming (Computer science...

Principles and practice of constraint programming : 19th international conference, CP 2013 : Uppsala, Sweden, September 16-20, 2013 : proceedings : Sep 2013, Uppsala, Sweden. (Lecture Notes in Computer Science ; 8124)

Principles and practice of constraint programming : 19th international conference, CP 2013 : Uppsala, Sweden, September 16-20, 2013 : proceedings : Sep 2013, Uppsala, Sweden. (Lecture Notes in Computer Science ; 8124)
Paper図書
Springerc2013.<M17-14-748>
National Diet Library
  • Subject HeadingConstraint programming (Computer science...
  • Note (General)... conference on constraint programming." -- pref. "The c...

Integration of AI and OR techniques in constraint programming : 12th international conference, CPAIOR 2015 : Barcelona, Spain, May 18-22, 2015 : proceedings : 12th international conference on integration of artificial intelligence (AI) and operations research (OR) techniques in constraint programming : May 2015, Barcelona, Spain. (Lecture Notes in Computer Science ; 9075)

Integration of AI and OR techniques in constraint programming : 12th international conference, CPAIOR 2015 : Barcelona, Spain, May 18-22, 2015 : proceedings : 12th international conference on integration of artificial intelligence (AI) and operations research (OR) techniques in constraint programming : May 2015, Barcelona, Spain. (Lecture Notes in Computer Science ; 9075)
Paper図書
Springer[2015]<M17-16-345>
National Diet Library
  • Summary, etc.... Techniques in Constraint Programming, C...... the fields of Constraint Programming, Artificial Intel...
  • Subject HeadingConstraint programming (C......ta processing. Constraint programming (Computer science...
  • Author Heading... Techniques in Constraint Programming for Combinatorial...

Integration of AI and OR techniques in constraint programming : 11th international conference, CPAIOR 2014 : Cork, Ireland, May 19-23, 2014 : proceedings : 11th international conference on the integration of artificial intelligence (AI) and operations research (OR) techniques in constraint programming : May 2014, Cork, Ireland. (Lecture Notes in Computer Science ; 8451)

Integration of AI and OR techniques in constraint programming : 11th international conference, CPAIOR 2014 : Cork, Ireland, May 19-23, 2014 : proceedings : 11th international conference on the integration of artificial intelligence (AI) and operations research (OR) techniques in constraint programming : May 2014, Cork, Ireland. (Lecture Notes in Computer Science ; 8451)
Paper図書
Springer[2014]<M17-15-751>
National Diet Library
  • Subject Heading...g--Congresses. Constraint programming (C......ta processing. Constraint programming (Computer science...
  • Author Heading... Techniques in Constraint Programming for Combinatorial...

Declarative programming and knowledge management : declarative programming days, KDPD 2013 : unifying INAP, WFLP, and WLP : Kiel, Germany, September 11-13, 2013 : revised selected papers : 20th international conference on applications of declarative programming and knowledge management : 22nd international workshop on functional and (constraint) logic programming : 27th workshop on logic programming : scientific forum of the annual meeting of the Society of Logic Programming (GLP e.V.) : WFLP/WLP conference : Sep 2013, Kiel, Germany. (Lecture Notes in Computer Science ; 8439. Lecture Notes in Artificial Intelligence)

Declarative programming and knowledge management : declarative programming days, KDPD 2013 : unifying INAP, WFLP, and WLP : Kiel, Germany, September 11-13, 2013 : revised selected papers : 20th international conference on applications of declarative programming and knowledge management : 22nd international workshop on functional and (constraint) logic programming : 27th workshop on logic programming : scientific forum of the annual meeting of the Society of Logic Programming (GLP e.V.) : WFLP/WLP conference : Sep 2013, Kiel, Germany. (Lecture Notes in Computer Science ; 8439. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-1672>
National Diet Library
  • Subject Heading...t--Congresses. Constraint programming (C......g--Congresses. Constraint programming (Computer science...

Logic-based program synthesis and transformation : 23rd international symposium, LOPSTR 2013 : Madrid, Spain, September 18-19, 2013 : revised selected papers : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8901)

Logic-based program synthesis and transformation : 23rd international symposium, LOPSTR 2013 : Madrid, Spain, September 18-19, 2013 : revised selected papers : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8901)
Paper図書
Springer[2014]<M17-15-1535>
National Diet Library
  • Subject HeadingLogic programming--Congresses. Constraint programming (Computer science...

Principles and practice of constraint programming -- CP 2011 : 17th international conference, CP 2011 : Perugia, Italy, September 12-16, 2011 : proceedings : Sep 2011, Perugia, Italy. (Lecture Notes in Computer Science ; 6876)

Principles and practice of constraint programming -- CP 2011 : 17th international conference, CP 2011 : Perugia, Italy, September 12-16, 2011 : proceedings : Sep 2011, Perugia, Italy. (Lecture Notes in Computer Science ; 6876)
Paper図書
Springerc2011.<M17-12-1158>
National Diet Library
  • Subject HeadingConstraint programming (Computer science...

Principles and practice of constraint programming -- CP 2010 : 16th international conference, CP 2010 : St. Andrews, Scotland, September 6-10, 2010 : proceedings. : 16th annual international conference on the principles and practice of constraint programming : Sep 2010, St. Andrews, UK. (Lecture Notes in Computer Science ; 6308)

Principles and practice of constraint programming -- CP 2010 : 16th international conference, CP 2010 : St. Andrews, Scotland, September 6-10, 2010 : proceedings. : 16th annual international conference on the principles and practice of constraint programming : Sep 2010, St. Andrews, UK. (Lecture Notes in Computer Science ; 6308)
Paper図書
Springerc2010.<M17-10-4363>
National Diet Library
  • Subject HeadingConstraint programming (Computer science...

Constraint handling rules : current research topics. : workshops on constraint handling rules : ------. (Lecture Notes in Computer Science ; 5388. Lecture Notes in Artificial Intelligence. State-of-the-Art Survey)

Constraint handling rules : current research topics. : workshops on constraint handling rules : ------. (Lecture Notes in Computer Science ; 5388. Lecture Notes in Artificial Intelligence. State-of-the-Art Survey)
Paper図書
Springerc2008.<M17-09-789>
National Diet Library
  • Subject HeadingConstraint programming (Computer science...
  • Note (General)...e Workshops on Constraint Handling Rules have spurred (...

Recent advances in constraints : 13th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2008 : Rome, Italy, June 18-20, 2008 : revised selected papers. : 13th meeting of the Working Group on Constraints of the European Research Consortium for Informatics and Mathematics (ERCIM) : Jun 2008, Rome, Italy. (Lecture Notes in Computer Science ; 5655. Lecture Notes in Artificial Intelligence)

Recent advances in constraints : 13th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2008 : Rome, Italy, June 18-20, 2008 : revised selected papers. : 13th meeting of the Working Group on Constraints of the European Research Consortium for Informatics and Mathematics (ERCIM) : Jun 2008, Rome, Italy. (Lecture Notes in Computer Science ; 5655. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2009.<M17-10-1588>
National Diet Library
  • Subject HeadingConstraint programming (C......-- Congresses. Constraint <Künstliche In...... -- Rom <2008> Constraint-Erfüllung -- K...... -- Rom <2008> Constraint-Programmierung -- Kongress --...
  • Author HeadingERCIM. Working Group on Constraints. Oddi, Angelo......al Workshop on Constraint Solving and Constraint Logic Programming (13th : 200...

Principles and practice of constraint programming : 14th international conference, CP 2008 : Sydney, Australia, September 14-18, 2008 : proceedings. : Sep 2008, Sydney, Australia. (Lecture Notes in Computer Science ; 5202)

Principles and practice of constraint programming : 14th international conference, CP 2008 : Sydney, Australia, September 14-18, 2008 : proceedings. : Sep 2008, Sydney, Australia. (Lecture Notes in Computer Science ; 5202)
Paper図書
Springerc2008.<M17-09-208>
National Diet Library
  • Subject HeadingConstraint programming (Computer science...
  • Author HeadingAssociation for Constraint Programming. Stuckey, Peter J...

Principles and practice of constraint programming -- CP 2009 : 15th international conference, CP 2009 : Lisbon, Portugal, September 20-24, 2009 : proceedings. : Sep 2009, Lisbon, Portugal. (Lecture Notes in Computer Science ; 5732)

Principles and practice of constraint programming -- CP 2009 : 15th international conference, CP 2009 : Lisbon, Portugal, September 20-24, 2009 : proceedings. : Sep 2009, Lisbon, Portugal. (Lecture Notes in Computer Science ; 5732)
Paper図書
Springerc2009.<M17-10-1705>
National Diet Library
  • Subject HeadingConstraint programming (Computer science...

Fast Algorithms for Stochastic Model Predictive Control with Chance Constraints via Policy Optimization

Fast Algorithms for Stochastic Model Predictive Control with Chance Constraints via Policy Optimization
Digital博士論文障害者向け資料あり
Zhang, Jingyu2023-03-23
Available onlineNational Diet LibraryOther Libraries in Japan
  • Subject HeadingModel predictive control Stochastic control Chance constraint Policy optimization Optimal c...

Constraint solving and language processing : 7th international workshop, CSLP 2012 : Orléans, France, September 13-14, 2012 : revised selected papers : Sep 2012, Orléans, France. (Lecture Notes in Computer Science ; 8114)

Constraint solving and language processing : 7th international workshop, CSLP 2012 : Orléans, France, September 13-14, 2012 : revised selected papers : Sep 2012, Orléans, France. (Lecture Notes in Computer Science ; 8114)
Paper図書
Springerc2013.<M17-14-817>
National Diet Library
  • Subject HeadingConstraint programming (Computer science...

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 7th international conference, CPAIOR 2010 : Bologna, Italy, June 14-18, 2010 : proceedings. : Jun 2010, Bologna, Italy. (Lecture Notes in Computer Science ; 6140)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 7th international conference, CPAIOR 2010 : Bologna, Italy, June 14-18, 2010 : proceedings. : Jun 2010, Bologna, Italy. (Lecture Notes in Computer Science ; 6140)
Paper図書
Springerc2010.<M17-11-150>
National Diet Library
  • Subject HeadingConstraints (Artificial i......e Optimierung. Constraint-Programmierung. Bologna <2010...
  • Author Heading... Techniques in Constraint Programming for Combinatorial...

Functional and constraint logic programming : 20th international workshop, WFLP 2011 : Odense, Denmark, July 19, 2011 : proceedings : Jul 2011, Odense, Denmark. (Lecture Notes in Computer Science ; 6816)

Functional and constraint logic programming : 20th international workshop, WFLP 2011 : Odense, Denmark, July 19, 2011 : proceedings : Jul 2011, Odense, Denmark. (Lecture Notes in Computer Science ; 6816)
Paper図書
Springerc2011.<M17-12-423>
National Diet Library
  • Subject Heading...)--Congresses. Constraint programming (Computer science...
  • Author Heading...Fuctional and (Constraint) Logic Programming (20th : 20...

Functional and constraint logic programming : 19th international workshop, WFLP 2010 : Madrid, Spain, January 17, 2010 : revised selected papers. : ACM-SIGPLAN principles of programming languages event : POPL 2010 week : Jan 2010, Madrid, Spain. (Lecture Notes in Computer Science ; 6559)

Functional and constraint logic programming : 19th international workshop, WFLP 2010 : Madrid, Spain, January 17, 2010 : revised selected papers. : ACM-SIGPLAN principles of programming languages event : POPL 2010 week : Jan 2010, Madrid, Spain. (Lecture Notes in Computer Science ; 6559)
Paper図書
Springerc2011.<M17-11-2452>
National Diet Library
  • Subject Heading...-- Congresses. Constraint programming (Computer science...

パズルの解法アルゴリズムと情報推移に伴うエンターテインメントの解析

パズルの解法アルゴリズムと情報推移に伴うエンターテインメントの解析
Digital博士論文障害者向け資料あり
劉, 暢2022-09
National Diet Library
  • Subject Heading...an Elimination Constraint Satisfaction Problem

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 10th international conference, CPAIOR 2013 : Yorktown Heights, NY, USA, May 18-22, 2013 : proceedings : 10th international conference on the integration of artificial intelligence (AI) and operations research (OR) techniques in constraint programming : main CPAIOR 2013 : May 2013, Yorktown Heights, NY. (Lecture Notes in Computer Science ; 7874)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 10th international conference, CPAIOR 2013 : Yorktown Heights, NY, USA, May 18-22, 2013 : proceedings : 10th international conference on the integration of artificial intelligence (AI) and operations research (OR) techniques in constraint programming : main CPAIOR 2013 : May 2013, Yorktown Heights, NY. (Lecture Notes in Computer Science ; 7874)
Paper図書
Springerc2013.<M17-13-2779>
National Diet Library
  • Subject Heading...g--Congresses. Constraint programming (Computer science...
  • Author Heading... Techniques in Constraint Programming for Combinatorial...
RSS