Jump to main content

yr 〜
yr

Search results 32

Practice and theory of automated timetabling 6 : 6th international conference, PATAT 2006 : Brno, Czech Republic, August 30-September 1, 2006 : revised selected papers. : Aug 2006, Brno, Czech Republic. (Lecture Notes in Computer Science ; 3867)

Practice and theory of automated timetabling 6 : 6th international conference, PATAT 2006 : Brno, Czech Republic, August 30-September 1, 2006 : revised selected papers. : Aug 2006, Brno, Czech Republic. (Lecture Notes in Computer Science ; 3867)
Paper図書
Springerc2007.<M17-08-700>
National Diet Library
  • Subject HeadingConstraints (Artificial intelligence) -- Congresses. Scheduling -- ...

Intelligent autonomous control of spacecraft with multiple constraints : [hbk.]

Intelligent autonomous control of spacecraft with multiple constraints : [hbk.]
Paper図書
Qinglei Hu, Xiaodong Shao, Lei GuoSpringer2023
Other Libraries in Japan
  • Subject Heading...uter software) Constraints (Artificial intelligence)
  • Subject Heading (ID)...uter software) Constraints (Artificial intelligence)

Practice and theory of automated timetabling 5 : 5th international conference, PATAT 2004 : Pittsburgh, PA, USA, August 18-20, 2004 : revised selected papers. : Aug 2004, Pittsburgh, PA. (Lecture Notes in Computer Science ; 3616)

Practice and theory of automated timetabling 5 : 5th international conference, PATAT 2004 : Pittsburgh, PA, USA, August 18-20, 2004 : revised selected papers. : Aug 2004, Pittsburgh, PA. (Lecture Notes in Computer Science ; 3616)
Paper図書
Springerc2005.<M17-06-730>
National Diet Library
  • Subject HeadingConstraints (Artificial intelligence) -- Congresses. Scheduling -- ...

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 intelligence) -- Congresses. Combinatorial ...

Practice and theory of automated timetabling 4 : 4th international conference, PATAT 2002 : Gent, Belgium, August 21-23, 2002 : selected revised papers. : Aug 2002, Gent, Belgium. (Lecture Notes in Computer Science ; 2740)

Practice and theory of automated timetabling 4 : 4th international conference, PATAT 2002 : Gent, Belgium, August 21-23, 2002 : selected revised papers. : Aug 2002, Gent, Belgium. (Lecture Notes in Computer Science ; 2740)
Paper図書
Springer-Verlagc2003.<M17-04-1046>
National Diet Library
  • Subject HeadingConstraints (Artificial intelligence) -- Congresses. Scheduling -- ...

Complexity of constraints : an overview of current research themes. : Dagstuhl seminar on "complexity of constraints" : international Dagstuhl-seminar on complexity of constraints : Oct 2006, Wadern, Germany. (Lecture Notes in Computer Science ; 5250. State-of-the-Art Survey)

Complexity of constraints : an overview of current research themes. : Dagstuhl seminar on "complexity of constraints" : international Dagstuhl-seminar on complexity of constraints : Oct 2006, Wadern, Germany. (Lecture Notes in Computer Science ; 5250. State-of-the-Art Survey)
Paper図書
Springerc2008.<M17-09-797>
National Diet Library
  • Subject Heading...-- Congresses. Constraints (Artificial intelligence) -- Research -- Congresses. Co...

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 8th international conference, CPAIOR 2011 : Berlin, Germany, May 23-27, 2011 : proceedings. : May 2011, Berlin, Germany. (Lecture Notes in Computer Science ; 6697)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 8th international conference, CPAIOR 2011 : Berlin, Germany, May 23-27, 2011 : proceedings. : May 2011, Berlin, Germany. (Lecture Notes in Computer Science ; 6697)
Paper図書
Springerc2011.<M17-11-2470>
National Diet Library
  • Subject HeadingConstraints (Artificial intelligence) -- Congresses. Constraint pro...

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 5th international conference, CPAIOR 2008 : Paris, France, May 20-23, 2008 : proceedings. : May 2008, Paris, France. (Lecture Notes in Computer Science ; 5015)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 5th international conference, CPAIOR 2008 : Paris, France, May 20-23, 2008 : proceedings. : May 2008, Paris, France. (Lecture Notes in Computer Science ; 5015)
Paper図書
Springerc2008.<M17-08-2097>
National Diet Library
  • Subject HeadingConstraints (Artificial intelligence) -- Congresses. Constraint pro...

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : third international conference, CPAIOR 2006 : Cork, Ireland, May 31-June 2, 2006 : proceedings. : May 2006, Cork, Ireland. (Lecture Notes in Computer Science ; 3990)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : third international conference, CPAIOR 2006 : Cork, Ireland, May 31-June 2, 2006 : proceedings. : May 2006, Cork, Ireland. (Lecture Notes in Computer Science ; 3990)
Paper図書
Springerc2006.<M17-06-2595>
National Diet Library
  • Subject HeadingConstraints (Artificial intelligence) -- Congresses. Constraint pro...

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 4th international conference, CPAIOR 2007 : Brussels, Belgium, May 23-26, 2007 : proceedings. : 4th international conference on integration of artificial intelligence, constraint programming, and operations research techniques for combinatorial optimization problems : May 2007, Brussels, Belgium. (Lecture Notes in Computer Science ; 4510)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : 4th international conference, CPAIOR 2007 : Brussels, Belgium, May 23-26, 2007 : proceedings. : 4th international conference on integration of artificial intelligence, constraint programming, and operations research techniques for combinatorial optimization problems : May 2007, Brussels, Belgium. (Lecture Notes in Computer Science ; 4510)
Paper図書
Springerc2007.<M17-07-2929>
National Diet Library
  • Subject Heading...-- Congresses. Constraints (Artificial intelligence) -- Congresses. Operations res...

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : first international conference, CPAIOR 2004 : Nice, France, April 20-22, 2004 : proceedings. : Apr 2004, Nice, France. (Lecture Notes in Computer Science ; 3011)

Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : first international conference, CPAIOR 2004 : Nice, France, April 20-22, 2004 : proceedings. : Apr 2004, Nice, France. (Lecture Notes in Computer Science ; 3011)
Paper図書
Springerc2004.<M17-04-3093>
National Diet Library
  • Subject HeadingConstraints (Artificial intelligence) -- Congresses. Constraint pro...

Complexity of infinite-domain constraint satisfaction

Complexity of infinite-domain constraint satisfaction
Paper図書
Manuel BodirskyAssociation for Symbolic Logic2021
Other Libraries in Japan
  • Subject Heading...puter science) Constraints (Artificial intelligence) -- Mathematics Linear program...
  • Subject Heading (ID)...puter science) Constraints (Artificial intelligence) -- Mathematics Linear program...

Constraint reasoning for differential models

Constraint reasoning for differential models
Paper図書
Jorge CruzIOS Pressc2005
Other Libraries in Japan
  • Subject HeadingConstraints (Artificial intelligence) Differential equations Interv...
  • Subject Heading (ID)Constraints (Artificial intelligence) Differential equations Interv...

Constraint-based verification

Constraint-based verification
Paper図書
Jun Yuan, Carl Pixley, Adnan AzizSpringerc2006
Other Libraries in Japan
  • Subject HeadingConstraints (Artificial intelligence) Digital electronics -- Testin...
  • Subject Heading (ID)Constraints (Artificial intelligence) Digital electronics -- Testin...

Constraint - based scheduling : applying constraint programming to scheduling problems

Constraint - based scheduling : applying constraint programming to scheduling problems
Paper図書
Philippe Baptiste, Claude Le Pape, Wim NuijtenKluwer Academicc2001
Other Libraries in Japan
  • Subject HeadingProduction scheduling Constraints (Artificial intelligence)
  • Subject Heading (ID)Production scheduling Constraints (Artificial intelligence)

Complexity classifications of Boolean constraint satisfaction problems

Complexity classifications of Boolean constraint satisfaction problems
Paper図書
Nadia Creignou, Sanjeev Khanna, Madhu SudanSociety for Industrial and Applied Mathematicsc2001
Other Libraries in Japan
  • Subject HeadingComputational complexity Constraints (Artificial intelligence) Boolean algebra
  • Subject Heading (ID)Computational complexity Constraints (Artificial intelligence) Boolean algebra

The constraints management handbook

The constraints management handbook
Paper図書
James F. Cox, III, Michael S. Spencer ; foreword by Eliyahu M. GoldrattSt. Lucie Pressc1998
Other Libraries in Japan
  • Subject HeadingProduction management Constraints (Artificial intelligence) Production planning
  • Subject Heading (ID)Production management Constraints (Artificial intelligence) Production planning

Foundations of Constraint Satisfaction

Foundations of Constraint Satisfaction
Paper図書
Edward Tsang ; [edited by Thom Fruehwirth]Books on Demandc1996
Other Libraries in Japan
  • Subject HeadingConstraints (Artificial intelligence)
  • Subject Heading (ID)Constraints (Artificial intelligence)

Practice and theory of automated timetabling VI : 6th international conference, PATAT 2006, Brno, Czech Republic, August 30-September 1, 2006 : revised selected papers

Practice and theory of automated timetabling VI : 6th international conference, PATAT 2006, Brno, Czech Republic, August 30-September 1, 2006 : revised selected papers
Paper図書
Edmund K. Burke, Hana Rudová (eds.)Springerc2007
Other Libraries in Japan
  • Subject HeadingConstraints (Artificial intelligence) -- Congresses Scheduling -- D...
  • Subject Heading (ID)Constraints (Artificial intelligence) -- Congresses Scheduling -- D...

The theory of constraints and its implications for management accounting

The theory of constraints and its implications for management accounting
Paper図書
by Eric Noreen, Debra Smith, James T. Mackey ; [foreword by Eliyahu M. Goldratt]The North River Pressc1995
Other Libraries in Japan
  • Subject HeadingManagerial accounting Constraints (Artificial intelligence)
  • Subject Heading (ID)Managerial accounting Constraints (Artificial intelligence)
RSS