top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Language and automata theory and applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide (eds.).
Language and automata theory and applications : 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings / Adrian-Horia Dediu, Carlos Martín-Vide (eds.).
Creatore [LATA (Conference) (6th : 2012 : La Coruña, Spain)]
Estensione 1 online resource (xiv, 552 pages).
Disciplina 004
Accesso persona Horia Dediu, Adrian
Martín Vide, Carlos
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Computer Appl. in Social and Behavioral Sciences
ISBN 9783642283321
3642283322
9783642283314
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004374448
[LATA (Conference) (6th : 2012 : La Coruña, Spain)]  
Materiale a stampa
Lo trovi qui: New York University
Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers / Alexis de Vos, Robert Wille (eds.).
Reversible computation : third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers / Alexis de Vos, Robert Wille (eds.).
Creatore [RC (Workshop : Reversible computation) (3rd : 2011 : Ghent, Belgium)]
Estensione 1 online resource (vii, 122 pages).
Disciplina 005.13/1
Accesso persona Vos, Alexis de.
Wille, Robert
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Logic design
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642295171
3642295177
3642295169
9783642295164
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Time complexity of tape reduction for reversible Turing machines / Holger Bock Axelsen -- Towards a reversible functional language / Tetsuo Yokoyama, Holger Bock Axelsen and Robert Glück -- A reversible processor architecture and its reversible logic design / Michael Kirkedal Thomsen, Holger Bock Axelsen and Robert Glück -- Optimization of reversible circuits using reconfigured templates / Md. Mazder Rahman, Gerhard W. Dueck and Anindita Banerjee -- Hybrid GF(2) -- Boolean expressions .for quantum computing circuits / Claudio Moraga -- RevKit : an open source toolkit for the design of reversible circuits / Mathias Soeken, Stefan Frehse, Robert Wille and Rolf Drechsler -- Transforming MCT circuits to NCVW circuits / Zahra Sasanian and D. Michael Miller -- Changing the gate order for optimal LNN conversion / Atsushi Matsuo and Shigeru Yamashita -- Towards the limits of cascaded reversible (quantum-inspired) circuits / Stéphane Burignat, Mariusz Olczak, Michał Klimczak and Alexis De Vos -- Interfacing reversible pass-transistor CMOS chips with conventional restoring CMOS circuits / Stéphane Burignat, Michael Kirkedal Thomsen, Michał Klimczak, Mariusz Olczak and Alexis De Vos.
Record Nr. NYU-004374968
[RC (Workshop : Reversible computation) (3rd : 2011 : Ghent, Belgium)]  
Materiale a stampa
Lo trovi qui: New York University
Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers / Fabrizio Riguzzi, Filip Železný (eds.).
Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers / Fabrizio Riguzzi, Filip Železný (eds.).
Creatore [ILP (Conference) (22nd : 2012 : Dubrovnik, Croatia)]
Estensione 1 online resource (x, 272 pages) : illustrations.
Disciplina 005.1/15
Accesso persona Riguzzi, Fabrizio
Železný, Filip
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Logic design
Artificial intelligence
Mathematical Logic and Formal Languages
Programming Techniques
Logics and Meanings of Programs
Computation by Abstract Devices
ISBN 9783642388125
3642388124
9783642388118
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Relational Approach to Tool-Use Learning in Robots / Solly Brown, Claude Sammut -- A Refinement Operator for Inducing Threaded-Variable Clauses / Angelos Charalambidis, Stasinos Konstantopoulos -- Propositionalisation of Continuous Attributes beyond Simple Aggregation / Soufiane El Jelali, Agnès Braud, Nicolas Lachiche -- Topic Models with Relational Features for Drug Design / Tanveer A. Faruquie, Ashwin Srinivasan, Ross D. King -- Pairwise Markov Logic / Daan Fierens, Kristian Kersting, Jesse Davis, Jian Chen -- Evaluating Inference Algorithms for the Prolog Factor Language / Tiago Gomes, Vítor Santos Costa -- Polynomial Time Pattern Matching Algorithm for Ordered Graph Patterns / Takahiro Hino, Yusuke Suzuki, Tomoyuki Uchida, Yuko Itokawa -- Fast Parameter Learning for Markov Logic Networks Using Bayes Nets / Hassan Khosravi -- Bounded Least General Generalization / Ondřej Kuželka, Andrea Szabóová, Filip Železný -- Itemset-Based Variable Construction in Multi-relational Supervised Learning / Dhafer Lahbib, Marc Boullé, Dominique Laurent -- A Declarative Modeling Language for Concept Learning in Description Logics / Francesca Alessandra Lisi -- Identifying Driver's Cognitive Load Using Inductive Logic Programming / Fumio Mizoguchi, Hayato Ohwada, Hiroyuki Nishiyama -- Opening Doors: An Initial SRL Approach / Bogdan Moldovan, Laura Antanas, McElory Hoffmann -- Probing the Space of Optimal Markov Logic Networks for Sequence Labeling / Naveen Nair, Ajay Nagesh, Ganesh Ramakrishnan -- What Kinds of Relational Features Are Useful for Statistical Learning? / Amrita Saha, Ashwin Srinivasan, Ganesh Ramakrishnan -- Learning Dishonesty / Chiaki Sakama -- Heuristic Inverse Subsumption in Full-Clausal Theories / Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma -- Learning Unordered Tree Contraction Patterns in Polynomial Time / Yuta Yoshimura, Takayoshi Shoudai.
Record Nr. NYU-004402657
[ILP (Conference) (22nd : 2012 : Dubrovnik, Croatia)]  
Materiale a stampa
Lo trovi qui: New York University
Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised selected papers / edited by Corina S. Păsă̆reanu, Gwen Salaün
Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised selected papers / edited by Corina S. Păsă̆reanu, Gwen Salaün
Creatore [FACS (Symposium) (9th : 2012 : Mountain View, Calif.)]
Estensione 1 online resource.
Disciplina 004.01/51
Accesso persona Păsăreanu, Corina S.
Salaün, G. (Gwen)
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Information Systems
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
ISBN 9783642358616
3642358616
3642358608
9783642358609
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Formal Patterns for Multi-rate Distributed Real-Time Systems / Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky -- Component Interfaces with Contracts on Ports / Sebastian Bauer, Rolf Hennicker, Axel Legay -- Avoiding Diamonds in Desynchronization / Harsh Beohar, Pieter J.L. Cuijpers -- The Tale of SOLOIST: A Specification Language for Service Compositions Interactions / Domenico Bianculli, Carlo Ghezzi -- A Categorical Approach to Structuring and Promoting Z Specifications / Pablo F. Castro, Nazareno Aguirre -- Assume-Guarantee Reasoning for Safe Component Behaviours / Chris Chilton, Bengt Jonsson, Marta Kwiatkowska -- A Petri Net Based Analysis of Deadlocks for Active Objects and Futures / Frank S. de Boer, Mario Bravetti, Immo Grabe -- Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development / Frank S. de Boer, Stijn de Gouw -- Symbolic Counterexample Generation for Discrete-Time Markov Chains / Nils Jansen, Erika Ábrahám, Barna Zajzon -- Xcd -- Modular, Realizable Software Architectures / Christos Kloukinas, Mert Ozkaya -- LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time / Amir Molzam Sharifloo, Paola Spoletini -- A Calculus for Quality / Hanne Riis Nielson, Flemming Nielson, Roberto Vigo -- Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure / Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu -- IBOS: A Correct-By-Construction Modular Browser / Ralf Sasse, Samuel T. King, José Meseguer -- Guided Search for Deadlocks in Actor-Based Models / Steinar Hugi Sigurdarson, Marjan Sirjani -- Assumption Generation for Asynchronous Systems by Abstraction Refinement / Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli.
Record Nr. NYU-004390112
[FACS (Symposium) (9th : 2012 : Mountain View, Calif.)]  
Materiale a stampa
Lo trovi qui: New York University
Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings / T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan (eds.).
Theory and applications of models of computation : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings / T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan (eds.).
Creatore [TAMC (Conference) (10th : 2013 : Hong Kong, China)]
Estensione 1 online resource (xv, 356 pages) : illustrations.
Disciplina 004.01/51
Accesso persona Chan, Hubert T-H.
Lau, Lap Chi.
Trevisan, Luca
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
Soggetto non controllato Computer science
Data structures (Computer science)
Information theory
Computer software
Logic design
Theory of Computation
Mathematics of Computing
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Data Structures, Cryptology and Information Theory
Mathematical Logic and Formal Languages
ISBN 9783642382369
3642382363
9783642382352
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Computability -- complexity -- algorithms -- present current research.
Online Scheduling on a CPU-GPU Cluster / Lin Chen, Deshi Ye, Guochuan Zhang -- Throughput Maximization for Speed-Scaling with Agreeable Deadlines / Eric Angel, Evripidis Bampis, Vincent Chau -- Temperature Aware Online Algorithms for Minimizing Flow Time / Martin Birks, Stanley Fung -- Priority Queues and Sorting for Read-Only Data / Tetsuo Asano, Amr Elmasry, Jyrki Katajainen -- (1 + ε)-Distance Oracles for Vertex-Labeled Planar Graphs / Mingfei Li, Chu Chung Christopher Ma -- Group Nearest Neighbor Queries in the L 1 Plane / Hee-Kap Ahn, Sang Won Bae, Wanbin Son -- Modelling the Power Supply Network -- Hardness and Approximation / Alexandru Popa -- Approximation Algorithms for a Combined Facility Location Buy-at-Bulk Network Design Problem / Andreas Bley, S. Mehdi Hashemi -- k-means++ under Approximation Stability / Manu Agarwal, Ragesh Jaiswal, Arindam Pal -- An Exact Algorithm for TSP in Degree-3 Graphs via Circuit Procedure and Amortization on Connectivity Structure / Mingyu Xiao, Hiroshi Nagamochi.
Record Nr. NYU-004637063
[TAMC (Conference) (10th : 2013 : Hong Kong, China)]  
Materiale a stampa
Lo trovi qui: New York University
Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes / Nick Bezhanishvili, Valentin Goranko (eds.).
Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected lecture notes / Nick Bezhanishvili, Valentin Goranko (eds.).
Creatore [European Summer School in Logic, Language, and Information (22nd : 2010 : Copenhagen, Denmark)]
Estensione 1 online resource (263 pages) : illustrations.
Disciplina 005.101/5113
Accesso persona Bezhanishvili, Nick
Goranko, Valentin
Accesso convegno European Summer School in Logic, Language, and Information (23rd : 2011 : Ljubljana, Slovenia)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Logic design
Computational complexity
Artificial intelligence
Logic, Symbolic and mathematical
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Discrete Mathematics in Computer Science
ISBN 9783642314858
3642314856
9783642314841
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Proof Complexity of Non-classical Logics / Olaf Beyersdorff and Oliver Kutz -- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science / Jan Broersen and Leendert van der Torre -- A Short Introduction to Implicit Computational Complexity / Ugo Dal Lago -- Strategies in Games: A Logic-Automata Study / Sujata Ghosh and R. Ramanujam -- Introduction to Judgment Aggregation / Davide Grossi and Gabriella Pigozzi -- Specification and Verification of Multi-Agent Systems / Wojciech Jamroga and Wojciech Penczek.
Record Nr. NYU-004375805
[European Summer School in Logic, Language, and Information (22nd : 2010 : Copenhagen, Denmark)]  
Materiale a stampa
Lo trovi qui: New York University
Formal methods for model-driven engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced lectures / Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.).
Formal methods for model-driven engineering : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced lectures / Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (eds.).
Creatore [International School on Formal Methods for the Design of Computer, Communication, and Software Systems (12th : 2012 : Bertinoro, Italy)]
Estensione 1 online resource (vii, 437 pages) : illustrations.
Disciplina 004.01/51
Accesso persona Bernardo, Marco
Cortellessa, Vittorio
Pierantonio, Alfonso
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Information Systems
Software Engineering/Programming and Operating Systems
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems
ISBN 9783642309823
3642309828
9783642309816
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Less Well Known UML: A Short User Guide / Bran Selic -- MDE Basics with a DSL Focus / Suzana Andova, Mark G.J. van den Brand, Luc J.P. Engelen and Tom Verhoeff -- Object Constraint Language (OCL): A Definitive Guide / Jordi Cabot and Martin Gogolla -- Model Transformations / Davide Di Ruscio, Romina Eramo and Alfonso Pierantonio -- Graph Transformations for MDE, Adaptation, and Models at Runtime / Holger Giese, Leen Lambers, Basil Becker, Stephan Hildebrandt and Stefan Neumann, et al. -- Abstractions for Validation in Action / Guido de Caso, Victor Braberman, Diego Garbervetsky and Sebastian Uchitel -- Software Performance Modeling / Dorina C. Petriu, Mohammad Alhaj and Rasha Tawhid -- Model Transformations in Non-functional Analysis / Steffen Becker -- Software Performance Antipatterns: Modeling and Analysis / Vittorio Cortellessa, Antinisca Di Marco and Catia Trubiani -- An Introduction to Model Versioning / Petra Brosch, Gerti Kappel, Philip Langer, Martina Seidl and Konrad Wieland, et al. -- Formal Specification and Testing of Model Transformations / Antonio Vallecillo, Martin Gogolla, Loli Burgueño, Manuel Wimmer and Lars Hamann.
Record Nr. NYU-004375860
[International School on Formal Methods for the Design of Computer, Communication, and Software Systems (12th : 2012 : Bertinoro, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
The logic of categorial grammars : a deductive account of natural language syntax and semantics / Richard Moot, Christian Retoré
The logic of categorial grammars : a deductive account of natural language syntax and semantics / Richard Moot, Christian Retoré
Creatore [Moot, Richard]
Estensione 1 online resource (xviii, 302 pages) : illustrations.
Disciplina 006.3/5
Accesso persona Retoré, Christian
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Logic, Symbolic and mathematical
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Mathematical Logic and Foundations
Programming Languages, Compilers, Interpreters
ISBN 9783642315558
3642315550
9783642315541
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Classical Categorial Grammars: AB Grammars -- A Logic for Categorial Grammars: Lambek's Syntactic Calculus -- Lambek Calculus and Montague Grammar -- The Non-associative Lambek Calculus -- The Multimodal Lambek Calculus -- Lambek Calculus and Linear Logic: Proof Nets as Parse Structures -- Proof Nets for the Multimodal Lambek Calculus: From Theory to a Wide-Coverage Categorial Parser.
Record Nr. NYU-004375901
[Moot, Richard]  
Materiale a stampa
Lo trovi qui: New York University
Software composition : 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings / Thomas Gschwind [and others] (eds.).
Software composition : 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings / Thomas Gschwind [and others] (eds.).
Creatore [SC (Conference : Software composition) (11th : 2012 : Prague, Czech Republic)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Gschwind, Thomas
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Programming Techniques
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642305641
3642305644
9783642305634
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Modeling Dynamic Architectures Using Dy-BIP / Marius Bozga, Mohamad Jaber, Nikolaos Maris and Joseph Sifakis -- Defining Composition Operators for BPMN / Paul Istoan -- Relaxing B Sharing Restrictions within CSP[bar][bar]B / Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin and Vincent Poirriez -- PaCE: A Data-Flow Coordination Language for Asynchronous Network-Based Applications / Mauro Caporuscio, Marco Funaro and Carlo Ghezzi -- Adaptation of Legacy Codes to Context-Aware Composition Using Aspect-Oriented Programming / Antonina Danylenko and Welf Löwe -- Challenges for Refinement and Composition of Instrumentations: Position Paper / Danilo Ansaloni, Walter Binder, Christoph Bockisch, Eric Bodden and Kardelen Hatun, et al. -- Constructing Customized Interpreters from Reusable Evaluators Using Game / Stijn Timbermont, Coen De Roover and Theo D'Hondt -- Revising and Extending the Uppaal Communication Mechanism / Abdeldjalil Boudjadar, Jean-Paul Bodeveix and Mamoun Filali -- On the Automated Modularisation of Java Programs Using Service Locators / Syed Muhammad Ali Shah, Jens Dietrich and Catherine McCartin -- Touching Factor: Software Development on Tablets / Marc Hesenius, Carlos Dario Orozco Medina and Dominikus Herzberg -- Domain-Specific Languages in Few Steps / The Neverlang Approach / Walter Cazzola -- Business Process Lines and Decision Tables Driving Flexibility by Selection / Nicola Boffoli, Danilo Caivano, Daniela Castelluccia and Giuseppe Visaggio.
Record Nr. NYU-004375426
[SC (Conference : Software composition) (11th : 2012 : Prague, Czech Republic)]  
Materiale a stampa
Lo trovi qui: New York University
Theory and applications of satisfiability testing-- SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / Matti Järvisalo, Allen Van Gelder (eds.).
Theory and applications of satisfiability testing-- SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / Matti Järvisalo, Allen Van Gelder (eds.).
Creatore [SAT (Conference) (16th : 2013 : Helsinki, Finland)]
Estensione 1 online resource (xvi, 436 pages) : illustrations (black and white).
Disciplina 005.1
Accesso persona Järvisalo, Matti, editor
Van Gelder, Allen, editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Logic design
Artificial intelligence
Logics and Meanings of Programs
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Information and Communication, Circuits
ISBN 9783642390715
3642390714
9783642390708
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks. The Proof-Search Problem between Bounded-Width Resolution and Bounded-Degree Semi-algebraic Proofs / Albert Atserias -- Turing's Computable Real Numbers and Why They Are Still Important Today / Edmund M. Clarke -- There Are No CNF Problems / Peter J. Stuckey -- Best Paper. Soundness of Inprocessing in Clause Sharing SAT Solvers / Norbert Manthey, Tobias Philipp, Christoph Wernhard -- Technical Papers. Propositional Proof Complexity I. Exponential Separations in a Hierarchy of Clause Learning Proof Systems / Jan Johannsen -- On the Resolution Complexity of Graph Non-isomorphism / Jacobo Torán -- Quantified Boolean Formulas. On Propositional QBF Expansions and Q-Resolution / Mikoláš Janota, Joao Marques-Silva -- Recovering and Utilizing Partial Duality in QBF / Alexandra Goultiaeva, Fahiem Bacchus -- Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation / Florian Lonsing, Uwe Egly, Allen Van Gelder.
Parallel Solving. Concurrent Clause Strengthening / Siert Wieringa, Keijo Heljanko -- Parallel MUS Extraction / Anton Belov, Norbert Manthey, Joao Marques-Silva -- Maximum Satisfiability. A Modular Approach to MaxSAT Modulo Theories / Alessandro Cimatti [and others] -- Exploiting the Power of mip Solvers in maxsat / Jessica Davies, Fahiem Bacchus -- Community-Based Partitioning for MaxSAT Solving / Ruben Martins, Vasco Manquinho, Inês Lynce -- Encodings and Applications. Experiments with Reduction Finding / Charles Jordan, Łukasz Kaiser -- A Constraint Satisfaction Approach for Programmable Logic Detailed Placement / Andrew Mihal, Steve Teig -- Minimizing Models for Tseitin-Encoded SAT Instances / Markus Iser, Carsten Sinz, Mana Taghdiri.
Beyond SAT. Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability / Marcelo Finger [and others] -- Quantified Maximum Satisfiability: / Alexey Ignatiev, Mikoláš Janota, Joao Marques-Silva -- Nested Boolean Functions as Models for Quantified Boolean Formulas / Uwe Bubeck, Hans Kleine Büning -- Solver Techniques and Algorithms. Factoring Out Assumptions to Speed Up MUS Extraction / Jean-Marie Lagniez, Armin Biere -- On the Interpolation between Product-Based Message Passing Heuristics for SAT / Oliver Gableske -- Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction / Gilles Audemard, Jean-Marie Lagniez, Laurent Simon -- Clique-Width and SAT. A SAT Approach to Clique-Width / Marijn J.H. Heule, Stefan Szeider -- Cliquewidth and Knowledge Compilation / Igor Razgon, Justyna Petke.
Propositional Proof Complexity II. A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem / Massimo Lauria -- The Complexity of Theorem Proving in Autoepistemic Logic / Olaf Beyersdorff -- Parameterized Complexity. Local Backbones / Ronald de Haan, Iyad Kanj, Stefan Szeider -- Upper and Lower Bounds for Weak Backdoor Set Detection / Neeldhara Misra [and others] -- Tool Papers. LearnSAT: A SAT Solver for Education / Mordechai (Moti) Ben-Ari -- MUStICCa: MUS Extraction with Interactive Choice of Candidates / Johannes Dellert, Christian Zielke, Michael Kaufmann -- SCSat: A Soft Constraint Guided SAT Solver / Hiroshi Fujita, Miyuki Koshimura, Ryuzo Hasegawa -- Snappy: A Simple Algorithm Portfolio / Horst Samulowitz, Chandra Reddy, Ashish Sabharwal, Meinolf Sellmann -- Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems / Takehide Soh, Naoyuki Tamura, Mutsunori Banbara.
Record Nr. NYU-004420387
[SAT (Conference) (16th : 2013 : Helsinki, Finland)]  
Materiale a stampa
Lo trovi qui: New York University