Narrow your search

Library

ULiège (3)

AP (1)

EhB (1)

KDG (1)

KU Leuven (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLouvain (1)

UCLL (1)

More...

Resource type

book (4)

digital (1)


Language

English (5)


Year
From To Submit

2005 (3)

1983 (1)

1982 (1)

Listing 1 - 5 of 5
Sort by

Digital
Theory and Applications of Satisfiability Testing (vol. # 3542) : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Authors: ---
ISBN: 9783540315803 Year: 2005 Publisher: Berlin Heidelberg Springer-Verlag GmbH

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Tentative stol flying qualities criteria for mil standard and handbook
Authors: ---
Year: 1983 Publisher: Hawthorne, California : Systems Technology, Inc.,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Theory and Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Authors: --- ---
ISSN: 03029743 ISBN: 9783540278290 354027829X 3540315802 Year: 2005 Volume: 3542 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Propositional calculus --- Algebra, Boolean --- Computer algorithms --- Decision making --- Calcul propositionnel --- Algèbre de Boole --- Algorithmes --- Prise de décision --- Congresses. --- Congrès --- Mathematical Theory --- Mathematics --- Physical Sciences & Mathematics --- Boolean algebra --- Boole's algebra --- Calculus, Propositional --- Computer science. --- Operating systems (Computers). --- Algorithms. --- Mathematical logic. --- Numerical analysis. --- Artificial intelligence. --- Computer Science. --- Mathematical Logic and Formal Languages. --- Algorithm Analysis and Problem Complexity. --- Operating Systems. --- Numeric Computing. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Foundations. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Mathematical analysis --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Informatics --- Science --- Foundations --- Operating systems --- Algebraic logic --- Logic, Symbolic and mathematical --- Computer software. --- Electronic data processing. --- Logic, Symbolic and mathematical. --- Artificial Intelligence. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Software, Computer --- Computer systems --- Automation --- Propositional calculus - Congresses. --- Algebra, Boolean - Congresses. --- Computer algorithms - Congresses. --- Decision making - Congresses. --- Machine theory. --- Formal Languages and Automata Theory. --- Numerical Analysis. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics


Book
Theory and Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Authors: --- ---
ISBN: 9783540315803 Year: 2005 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

The 7th International Conference on Theory and Applications of Satis?ab- ity Testing (SAT 2004) was held 10-13 May 2004 in Vancouver, BC, Canada. The conference featured 9 technical paper sessions, 2 poster sessions, as well as the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. It also included invited talks by Stephen A. Cook (University of Toronto) and Kenneth McMillan (Cadence Berkeley Labs). The 89 participants represented no less than 17 countries and four continents. SAT 2004 continued the series of meetings which started with the Workshops on Satis?ability held in Siena, Italy (1996), Paderborn, Germany (1998) and Renesse, The Netherlands (2000); the Workshop on Theory and Applications of Satis?ability Testing held in Boston, USA(2001);theSymposiumonTheoryandApplicationsofSatis?abilityTesting held in Cincinnati, USA (2002); and the 6th International Conference on Theory and Applications of Satis?ability Testing held in Santa Margherita Ligure, Italy (2003). The International Conference on Theory and Applications of Satis?ability Testing is the primary annual meeting for researchers studying the propo- tional satis?ability problem (SAT), a prominent problem in both theoretical and applied computer science. SAT lies at the heart of the most important open problem in complexity theory (P vsNP) and underlies many applications in, among other examples, arti?cial intelligence, operations research and electronic design engineering. The primary objective of the conferences is to bring together researchersfromvariousareasandcommunities,includingtheoreticalandexp- imental computer science as well as many relevant application areas, to promote collaboration and the communication of new theoretical and practical results in SAT-related research and its industrial applications.


Book
Proposed MIL standard and handbook, flying qualities of air vehicles
Authors: --- --- ---
Year: 1982 Publisher: Dayton (OH) : United States air force, Air Force Wright Aeronautical Laboratories,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 5 of 5
Sort by


Copyright ©2024 SemperTool