Jump to main content

yr 〜
yr

Search results 15

Theory and applications of satisfiability testing -- SAT 2011 : 14th international conference, SAT 2011 : Ann Arbor, MI, USA, June 19-22, 2011 : proceedings. : 14th SAT meeting : Jun 2011, Ann Arbor, MI. (Lecture Notes in Computer Science ; 6695)

Theory and applications of satisfiability testing -- SAT 2011 : 14th international conference, SAT 2011 : Ann Arbor, MI, USA, June 19-22, 2011 : proceedings. : 14th SAT meeting : Jun 2011, Ann Arbor, MI. (Lecture Notes in Computer Science ; 6695)
Paper図書
Springerc2011.<M17-11-3217>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Decision making -- Congresse...

Theory and applications of satisfiability testing -- SAT 2010 : 13th international conference, SAT 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : 2010 federated logic conference : FLoC : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6175)

Theory and applications of satisfiability testing -- SAT 2010 : 13th international conference, SAT 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : 2010 federated logic conference : FLoC : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6175)
Paper図書
Springerc2010.<M17-11-152>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Decision making -- Congresse...

Theory and applications of satisfiability testing -- SAT 2007 : 10th international conference : Lisbon, Portugal, May 28-31, 2007 : proceedings. : annual SAT conference : 10th SAT meeting : May 2007, Lisbon, Portugal. (Lecture Notes in Computer Science ; 4501)

Theory and applications of satisfiability testing -- SAT 2007 : 10th international conference : Lisbon, Portugal, May 28-31, 2007 : proceedings. : annual SAT conference : 10th SAT meeting : May 2007, Lisbon, Portugal. (Lecture Notes in Computer Science ; 4501)
Paper図書
Springerc2007.<M17-07-1549>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Decision making -- Congresse...

Theory and applications of satisfiability testing -- SAT 2009 : 12th international conference, SAT 2009 : Swansea, UK, June 30-July 3, 2009 : proceedings. : Jun 2009, Swansea, UK. (Lecture Notes in Computer Science ; 5584)

Theory and applications of satisfiability testing -- SAT 2009 : 12th international conference, SAT 2009 : Swansea, UK, June 30-July 3, 2009 : proceedings. : Jun 2009, Swansea, UK. (Lecture Notes in Computer Science ; 5584)
Paper図書
Springerc2009.<M17-10-304>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Decision making -- Congresse...

Theory and applications of satisfiability testing -- SAT 2008 : 11th international conference, SAT 2008 : Guangzhou, China, May 12-15, 2008 : proceedings. : May 2008, Guangzhou, China. (Lecture Notes in Computer Science ; 4996)

Theory and applications of satisfiability testing -- SAT 2008 : 11th international conference, SAT 2008 : Guangzhou, China, May 12-15, 2008 : proceedings. : May 2008, Guangzhou, China. (Lecture Notes in Computer Science ; 4996)
Paper図書
Springerc2008.<M17-08-1264>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Decision making -- Congresse...

Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference : Seattle, WA, USA, August 12-15, 2006 : proceedings. : FLoC 2006 : 4th federated logic conference : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4121)

Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference : Seattle, WA, USA, August 12-15, 2006 : proceedings. : FLoC 2006 : 4th federated logic conference : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4121)
Paper図書
Springerc2006.<M17-06-2345>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Decision making -- Congresse...

Theory and applications of satisfiability testing : 6th international conference, SAT 2003 : Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers. : May 2003, Santa Margherita Ligure, Italy. (Lecture Notes in Computer Science ; 2919)

Theory and applications of satisfiability testing : 6th international conference, SAT 2003 : Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers. : May 2003, Santa Margherita Ligure, Italy. (Lecture Notes in Computer Science ; 2919)
Paper図書
Springer-Verlagc2004.<M17-04-2427>
National Diet Library
  • Subject HeadingPropositional calculus -- Congresses. Decision making -- Congresse...

Theory and applications of satisfiability testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017 : proceedings

Theory and applications of satisfiability testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017 : proceedings
Paper図書
Serge Gaspers, Toby Walsh (eds.)Springerc2017
Other Libraries in Japan
  • Subject HeadingPropositional calculus -- Congresses Algebra, Boolean -- Congresse...
  • Subject Heading (ID)Propositional calculus -- Congresses Algebra, Boolean -- Congresse...

Theory and applications of satisfiability testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings

Theory and applications of satisfiability testing - SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings
Paper図書
Nadia Creignou, Daniel Le Berre (eds.)Springer2016
Other Libraries in Japan
  • Subject HeadingPropositional calculus -- Congresses Algebra, Boolean -- Congresse...
  • Subject Heading (ID)Propositional calculus -- Congresses Algebra, Boolean -- Congresse...

Handbook of satisfiability pt. 2 2nd ed

Handbook of satisfiability pt. 2 2nd ed
Paper図書
edited by Armin Biere ... [et al.]IOS Pressc2021
Other Libraries in Japan
  • Subject HeadingPropositional calculus -- Congresses Decision making -- Congresses...
  • Subject Heading (ID)Propositional calculus -- Congresses Decision making -- Congresses...

Handbook of satisfiability

Handbook of satisfiability
Paper図書
edited by Armin Biere ... [et al.]IOS Pressc2009
Other Libraries in Japan
  • Subject HeadingPropositional calculus -- Congresses Decision making -- Congresses...
  • Subject Heading (ID)Propositional calculus -- Congresses Decision making -- Congresses...

Theory and applications of satisfiability testing : 7th International Conference, SAT 2004 Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers

Theory and applications of satisfiability testing : 7th International Conference, SAT 2004 Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
Paper図書
Holger H. Hoos, David G. Mitchell (eds.)Springerc2005
Other Libraries in Japan
  • Subject HeadingPropositional calculus -- Congresses Decision making -- Congresses...
  • Subject Heading (ID)Propositional calculus -- Congresses Decision making -- Congresses...

Theory and applications of satisfiability testing : 8th International Conference, SAT 2005 St Andrews, UK, June 19-23, 2005 : proceedings

Theory and applications of satisfiability testing : 8th International Conference, SAT 2005 St Andrews, UK, June 19-23, 2005 : proceedings
Paper図書
Fahiem Bacchus, Toby Walsh (eds.)Springerc2005
Other Libraries in Japan
  • Subject HeadingPropositional calculus -- Congresses Decision making -- Congresses...
  • Subject Heading (ID)Propositional calculus -- Congresses Decision making -- Congresses...

Theory and applications of satisfiability testing : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers

Theory and applications of satisfiability testing : 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003 : selected revised papers
Paper図書
Enrico Giunchiglia, Armando Tacchella (eds.)Springerc2004
Other Libraries in Japan
  • Subject HeadingPropositional calculus -- Congresses Decision making -- Congresses...
  • Subject Heading (ID)Propositional calculus -- Congresses Decision making -- Congresses...

Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996

Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996
Paper図書
Dingzhu Du, Jun Gu, Panos M. Pardalos, editorsAmerican Mathematical Society1997
Other Libraries in Japan
  • Subject HeadingPropositional calculus -- Congresses Decision-making -- Congresses...
  • Subject Heading (ID)Propositional calculus -- Congresses Decision-making -- Congresses...

Reached to the end of result.

RSS