Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Electronic data processing --- Computer algorithms --- Computer networks --- Traitement réparti --- Algorithmes --- Réseaux d'ordinateurs --- Distributed processing --- Congresses. --- Congrès --- Computer algorithms -- Congresses. --- Computer networks -- Congresses. --- Electronic books. -- local. --- Electronic data processing -- Distributed processing -- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Computer communication systems. --- Data structures (Computer science). --- Algorithms. --- Computer science --- Computer Science. --- Computer Communication Networks. --- Algorithm Analysis and Problem Complexity. --- Discrete Mathematics in Computer Science. --- Data Structures. --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Algorism --- Algebra --- Arithmetic --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Mathematics --- Foundations --- Computer software. --- Computational complexity. --- Data structures (Computer scienc. --- Complexity, Computational --- Machine theory --- Software, Computer --- Computer systems --- Computer science—Mathematics. --- Computer networks. --- Discrete mathematics. --- Artificial intelligence—Data processing. --- Data Science. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 6th International Workshop on Experimental and Efficient Algorithms, WEA 2007, held in Rome, Italy, in June 2007. The 30 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 121 submissions. Fostering and disseminating high quality research results focused on the experimental analysis of algorithms the papers are devoted to the design, analysis, implementation, experimental evaluation, and engineering of efficient algorithms. Among the application areas addressed are most fields applying advanced algorithmic techniques, such as combinatorial optimization, approximation, graph theory, discrete mathematics, data mining, simulation, cryptography and security, scheduling, searching, sorting, string matching, coding, networking, etc.

Computer algorithms --- Algorithmes --- Congresses. --- Congrès --- Algorithms. --- Computer algorithms -- Congresses. --- Electronic books. -- local. --- Computer Science --- Engineering & Applied Sciences --- Algorism --- Computer science. --- Software engineering. --- Data structures (Computer science). --- Numerical analysis. --- Computer science --- Computer graphics. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Algorithm Analysis and Problem Complexity. --- Data Structures. --- Discrete Mathematics in Computer Science. --- Numeric Computing. --- Computer Graphics. --- Mathematics. --- Algebra --- Arithmetic --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- Computer mathematics --- Discrete mathematics --- Mathematical analysis --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Computer software engineering --- Engineering --- Informatics --- Science --- Foundations --- Digital techniques --- Mathematics --- Computer software. --- Data structures (Computer scienc. --- Computational complexity. --- Electronic data processing. --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Complexity, Computational --- Machine theory --- Software, Computer --- Computer systems --- Automation --- Computer science—Mathematics. --- Artificial intelligence—Data processing. --- Discrete mathematics. --- Software Engineering. --- Data Science. --- Numerical Analysis. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. The International Conferences on Theory and Applications of Satis?ability Testing (SAT) originated in 1996 as a series of workshops “on Satis?ability.” By the third meeting in 2000, the workshop had attracted a mix of theorists and experimentalists whose common interest was the enhancement of our basic understanding of the theoretical underpinnings of the Satis?ability problem as well as the development of scalable algorithms for its solution in a wide range of application domains. In 2002 a competition of SAT solvers was inaugurated to spur further algorithmic and implementation developments, and to create an eclectic collection of benchmarks. The competition—expanded in subsequent years to include pseudo Boolean, QBF, and MAX-SAT solvers—has become an integralpartofthesemeetings,addinganelementofexcitementandanticipation. Theinterplaybetweentheoryandapplication,aswellastheincreasedinterestin Satis?abilityfromawider communityofresearchers,ledtothe naturalevolution of these initial workshops into the current conference format. The annual SAT conference is now universally recognized as “the venue” for publishing the latest advances in SAT research.

Propositional calculus --- Algebra, Boolean --- Computer algorithms --- Decision making --- Calcul propositionnel --- Algèbre de Boole --- Algorithmes --- Prise de décision --- Congresses. --- Congrès --- Computer algorithms -- Congresses. --- Decision making -- Congresses. --- Electronic books. -- local. --- Propositional calculus -- Congresses. --- Mathematical Theory --- Mathematics --- Physical Sciences & Mathematics --- 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 --- 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 --- Boolean algebra --- Boole's algebra --- Algebraic logic --- Machine theory. --- Formal Languages and Automata Theory. --- Numerical Analysis. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Operating systems (Computers)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Neural networks (Computer science) --- Adaptive computing systems --- Computer algorithms --- Neural computers --- Bioinformatics --- Machine learning --- Réseaux neuronaux (Informatique) --- Systèmes adaptatifs (Informatique) --- Algorithmes --- Ordinateurs neuronaux --- Bio-informatique --- Apprentissage automatique --- Congresses. --- Congrès --- Adaptive computing systems -- Congresses. --- Bioinformatics -- Congresses. --- Computer algorithms -- Congresses. --- Machine learning -- Congresses. --- Neural computers -- Congresses. --- Neural networks (Computer science) -- Congresses. --- Support vector machines --- Computer Science --- Engineering & Applied Sciences --- SVMs (Algorithms) --- Adaptive computing --- Configurable computing systems --- Reconfigurable computing systems --- Computer science. --- Computer programming. --- Software engineering. --- Computers. --- Algorithms. --- Artificial intelligence. --- Application software. --- Computer Science. --- Programming Techniques. --- Computer Applications. --- Artificial Intelligence (incl. Robotics). --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Software Engineering. --- Image processing. --- Image Processing and Computer Vision. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- 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 --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Foundations --- Programming --- Pictorial data processing --- Picture processing --- Processing, Image --- Imaging systems --- Optical data processing --- Computer software. --- Computer vision. --- Artificial Intelligence. --- Software, Computer --- Machine vision --- Vision, Computer --- Artificial intelligence --- Image processing --- Pattern recognition systems --- Optical data processing. --- Optical computing --- Visual data processing --- Integrated optics --- Photonics --- Optical equipment --- Computer simulation. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Model-integrated computing --- Theory of Computation. --- Computer Vision. --- Computer and Information Systems Applications.