Search

Your search keyword '"Conjunctive normal form"' showing total 2,415 results
Start Over Descriptor "Conjunctive normal form"

Refine your results

more »

more »

more »
2,415 results on '"Conjunctive normal form"'

1. DAG-: A DAG-Based Sigma Protocol for Relations in CNF

Author

Zeng, Gongxian, Lai, Junzuo, Huang, Zhengan, Wang, Yu, Zheng, Zhiming, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Agrawal, Shweta, editor, and Lin, Dongdai, editor

Published
2022
Full Text
View/download PDF

2. Diagnoser design strategy for discrete event system: Case study of neutralization system.

Author

Seth, Abhay Deep, Biswas, Santosh, and Dhar, Amit Kumar

Subjects
DISCRETE systems, FAULT diagnosis, RELIABILITY in engineering, FINITE state machines, COMPUTER simulation
Abstract

In fault diagnosis, we study model‐based approaches to diagnose the discrete event system that efficiently represents the determined ambiguity, unpredictability, and the observation and judgment of several real‐life problems. Diagnosability is a crucial task for system reliability. This article presents a strategy for verifying the diagnosability of discrete event systems (DESs) using conjunctive normal form (CNF). This strategy introduces CNF‐based finite state machine (FSM). First, the scheme considers the model of the system for diagnosis, and CNF represents all transitions of the DES. CNF‐based FSM constructs a diagnoser known as CNF‐based diagnoser. Diagnoser tests whether faulty events can be detected or not in a given system model, that is, DES. The diagnoser verifies the diagnosability of the given DES‐based FSM using the resolve rule. The construction of diagnoser and diagnosability verification with respect to a real‐world industrial system is illustrated. The complexity of the diagnoser construction and diagnosability verification are shown to be efficient. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

3. 混合 exactly - one 约束的模型计数研究.

Author

韩淑婷, 赖　 永, and 刘　 杰

Subjects
*BAYESIAN analysis, *ARTIFICIAL intelligence, *ALGORITHMS, *COUNTING, *COMPILERS (Computer programs), *ENCODING
Abstract

Model counting is the number of models for a given proposition formula, which is a basic problem in the field of artificial intelligence. There are many exactly-one constraints in many practical problems such as Bayesian networks, bounded model detection, and accurate set coverage. A common processing method is to encode exactly-one constraints as CNF formulas, and then call the model counter to solve them. This method expands the scale of the proposition formula and easily leads to too long solution time. This paper respectively proposes the ECR algorithm that restores exactly-one constraints from the CNF formula and the ECP algorithm that handles exactlyone constraints. The ECR algorithm can significantly improve the solution efficiency of the C2D compiler. Based on the latest model counter ExactMC, this paper improves the model counter ECMC that can recognize and handle exactly-one constraints separately. The experimental results show that the time efficiency of ECMC is significantly improved compared to ExactMC. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

5. The completeness of reasoning algorithms for clause sets in description logic [formula omitted].

Author

Kaneiwa, Ken and Takahashi, Daiki

Abstract

Metadata and ontologies are used to enable computers to read data on the Semantic Web. Description logics provide formal languages and reasoning algorithms for such metadata and ontologies. Tableau-based algorithms have been developed for deciding concept satisfiability in description logics but they lead to inefficient reasoning for complex logical expressions. The resolution principle and the Davis–Putnam–Logemann–Loveland (DPLL) solve the weakness by treating simplified clausal forms in description logics. However, resolution-based reasoning for description logics causes to compute various combinations of clause pairs to branch on. On the other hand, DPLL-based approaches have not presented a complete and decidable reasoning algorithm for directly deciding the satisfiability of clauses in description logics. In this paper, we propose a decidable and complete reasoning algorithm for clauses in description logic ALC. Using DPLL techniques, this algorithm can reduce reasoning steps for conjunctive normal form (CNF) concepts in ALC. We prove the termination, soundness, and completeness of the reasoning algorithm for the satisfiability of CNF concepts by introducing a restricted tableau for CNF concepts. We show some examples of reasoning steps for applying clauses in ALC to the algorithm. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

6. First-order Predicate Logic

Author

Ertel, Wolfgang, Mackie, Ian, Series editor, Abramsky, Samson, Advisory editor, Hankin, Chris, Advisory editor, Kozen, Dexter C., Advisory editor, Pitts, Andrew, Advisory editor, Riis Nielson, Hanne, Advisory editor, Skiena, Steven S, Advisory editor, Stewart, Iain, Advisory editor, Hinchey, Mike, Advisory editor, Ertel, Wolfgang, and Black, Nathanael T., Translated by

Published
2017
Full Text
View/download PDF

7. Extensible Datasort Refinements

Author

Dunfield, Joshua, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Yang, Hongseok, editor

Published
2017
Full Text
View/download PDF

8. Skolem Function Continuation for Quantified Boolean Formulas

Author

Fazekas, Katalin, Heule, Marijn J. H., Seidl, Martina, Biere, Armin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gabmeyer, Sebastian, editor, and Johnsen, Einar Broch, editor

Published
2017
Full Text
View/download PDF

9. Compressibility and Probabilistic Proofs

Author

Shen, Alexander, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Kari, Jarkko, editor, Manea, Florin, editor, and Petre, Ion, editor

Published
2017
Full Text
View/download PDF

10. Boolean Searchable Symmetric Encryption with Worst-Case Sub-linear Complexity

Author

Kamara, Seny, Moataz, Tarik, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Coron, Jean-Sébastien, editor, and Nielsen, Jesper Buus, editor

Published
2017
Full Text
View/download PDF

11. Conjunctive Abstract Interpretation Using Paramodulation

Author

Ozeri, Or, Padon, Oded, Rinetzky, Noam, Sagiv, Mooly, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bouajjani, Ahmed, editor, and Monniaux, David, editor

Published
2017
Full Text
View/download PDF

14. The complete set of minimal simple graphs that support unsatisfiable 2-CNFs.

Author

Karve, Vaibhav and Hirani, Anil N.

Subjects
*COMPLETE graphs, *MULTIGRAPH, *MATROIDS, *NORMAL forms (Mathematics)
Abstract

A propositional logic sentence in conjunctive normal form that has clauses of length at most two (a 2-CNF) can be associated with a multigraph in which the vertices correspond to the variables and edges to clauses. We show that every 2-CNF that has been reduced under the application of certain tautologies, is equisatisfiable to a 2-CNF whose associated multigraph is, in fact, a simple graph. Our main result is a complete characterization of graphs that can support unsatisfiable 2-CNF sentences. We show that a simple graph can support an unsatisfiable reduced 2-CNF sentence if and only if it contains any one of four specific small graphs as a topological minor. Equivalently, all reduced 2-CNF sentences supported on a given simple graph are satisfiable if and only if all subdivisions of those four graphs are forbidden as subgraphs of the original graph. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

15. On conversions from CNF to ANF.

Author

Horáček, Jan and Kreuzer, Martin

Subjects
*PRODUCTION standards, *BOOLEAN functions, *GROBNER bases, *CALCULUS, *CARBON nanofibers, *POLYNOMIALS
Abstract

In this paper we discuss conversion methods from the conjunctive normal form (CNF) to the algebraic normal form (ANF) of a Boolean function. Whereas the reverse conversion has been studied before, the CNF to ANF conversion has been achieved predominantly via a standard method which tends to produce many polynomials of high degree. Based on a block-building mechanism, we design a new blockwise algorithm for the CNF to ANF conversion which is geared towards producing fewer and lower degree polynomials. In particular, we look for as many linear polynomials as possible in the converted system and check that our algorithm finds them. As an application, we suggest a new algebraic extension of the resolution calculus which is tailored to the output of the standard CNF to ANF conversion algorithm. Experiments show that the ANF produced by our algorithm outperforms the standard conversion in "real life" examples originating from cryptographic attacks, and that our algebraic resolution algorithm solves some SAT instances which are notoriously hard for SAT solvers. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

16. On weak positive predicates over a finite set.

Author

Selezneva, Svetlana N.

Subjects
*POLYNOMIAL time algorithms, *CONSTRAINT satisfaction, *FINITE, The
Abstract

Predicates that are preserved by a semi-lattice function are considered. These predicates are called weak positive. A representation of these predicates are proposed in the form of generalized conjunctive normal forms (GCNFs). Properties of GCNFs of these predicates are obtained. Based on the properties obtained, more efficient polynomial-time algorithms are proposed for solving the generalized satisfiability problem in the case when all initial predicates are preserved by a certain semi-lattice function. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

17. Space-Consistent Game Equivalence Detection in General Game Playing

Author

Zhang, Haifeng, Liu, Dangyi, Li, Wenxin, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Liu, Ting, Series editor, Kotenko, Igor, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Cazenave, Tristan, editor, Winands, Mark H.M., editor, Edelkamp, Stefan, editor, Schiffel, Stephan, editor, Thielscher, Michael, editor, and Togelius, Julian, editor

Published
2016
Full Text
View/download PDF

20. Introduction and Basic concepts

Author

Kroening, Daniel, Strichman, Ofer, Henzinger, Monika, Series editor, Hromkovič, Juraj, Series editor, Nielsen, Mogens, Series editor, Rozenberg, Grzegorz, Series editor, Salomaa, Arto, Series editor, Kroening, Daniel, and Strichman, Ofer

Published
2016
Full Text
View/download PDF

21. Decision Procedures for Propositional Logic

Author

Kroening, Daniel, Strichman, Ofer, Henzinger, Monika, Series editor, Hromkovič, Juraj, Series editor, Nielsen, Mogens, Series editor, Rozenberg, Grzegorz, Series editor, Salomaa, Arto, Series editor, Kroening, Daniel, and Strichman, Ofer

Published
2016
Full Text
View/download PDF

23. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems

Author

Iosif, Radu, Rogalewicz, Adam, Vojnar, Tomáš, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Chechik, Marsha, editor, and Raskin, Jean-François, editor

Published
2016
Full Text
View/download PDF

24. Bit-Vector Optimization

Author

Nadel, Alexander, Ryvchin, Vadim, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Chechik, Marsha, editor, and Raskin, Jean-François, editor

Published
2016
Full Text
View/download PDF

25. Fixed-Point Elimination in the Intuitionistic Propositional Calculus

Author

Ghilardi, Silvio, Gouveia, Maria João, Santocanale, Luigi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Jacobs, Bart, editor, and Löding, Christof, editor

Published
2016
Full Text
View/download PDF

27. A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic

Author

Kremer, Gereon, Corzilius, Florian, Ábrahám, Erika, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gerdt, Vladimir P., editor, Koepf, Wolfram, editor, Seiler, Werner M., editor, and Vorozhtsov, Evgenii V., editor

Published
2016
Full Text
View/download PDF

28. A Survey of Satisfiability Modulo Theory

Author

Monniaux, David, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gerdt, Vladimir P., editor, Koepf, Wolfram, editor, Seiler, Werner M., editor, and Vorozhtsov, Evgenii V., editor

Published
2016
Full Text
View/download PDF

29. On Incremental Core-Guided MaxSAT Solving

Author

Si, Xujie, Zhang, Xin, Manquinho, Vasco, Janota, Mikoláš, Ignatiev, Alexey, Naik, Mayur, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Rueher, Michel, editor

Published
2016
Full Text
View/download PDF

30. Finding Unsatisfiable Cores of a Set of Polynomials Using the Gröbner Basis Algorithm

Author

Sun, Xiaojun, Ilioaea, Irina, Kalla, Priyank, Enescu, Florian, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Rueher, Michel, editor

Published
2016
Full Text
View/download PDF

31. Dependency Schemes in QBF Calculi: Semantics and Soundness

Author

Beyersdorff, Olaf, Blinkhorn, Joshua, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Rueher, Michel, editor

Published
2016
Full Text
View/download PDF

32. On Finding Minimum Satisfying Assignments

Author

Ignatiev, Alexey, Previti, Alessandro, Marques-Silva, Joao, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Rueher, Michel, editor

Published
2016
Full Text
View/download PDF

33. ABT with Clause Learning for Distributed SAT

Author

Giráldez-Cru, Jesús, Meseguer, Pedro, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Luaces, Oscar, editor, Gámez, José A., editor, Barrenechea, Edurne, editor, Troncoso, Alicia, editor, Galar, Mikel, editor, Quintián, Héctor, editor, and Corchado, Emilio, editor

Published
2016
Full Text
View/download PDF

34. Satisfiability Checking: Theory and Applications

Author

Ábrahám, Erika, Kremer, Gereon, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, De Nicola, Rocco, editor, and Kühn, Eva, editor

Published
2016
Full Text
View/download PDF

35. OpenSMT2: An SMT Solver for Multi-core and Cloud Computing

Author

Hyvärinen, Antti E. J., Marescotti, Matteo, Alt, Leonardo, Sharygina, Natasha, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Creignou, Nadia, editor, and Le Berre, Daniel, editor

Published
2016
Full Text
View/download PDF

36. Lifting QBF Resolution Calculi to DQBF

Author

Beyersdorff, Olaf, Chew, Leroy, Schmidt, Renate A., Suda, Martin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Creignou, Nadia, editor, and Le Berre, Daniel, editor

Published
2016
Full Text
View/download PDF

37. Dependency Schemes for DQBF

Author

Wimmer, Ralf, Scholl, Christoph, Wimmer, Karina, Becker, Bernd, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Creignou, Nadia, editor, and Le Berre, Daniel, editor

Published
2016
Full Text
View/download PDF

38. Non-prenex QBF Solving Using Abstraction

Author

Tentrup, Leander, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Creignou, Nadia, editor, and Le Berre, Daniel, editor

Published
2016
Full Text
View/download PDF

39. 2QBF: Challenges and Solutions

Author

Balabanov, Valeriy, Jiang, Jie-Hong Roland, Scholl, Christoph, Mishchenko, Alan, Brayton, Robert K., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Creignou, Nadia, editor, and Le Berre, Daniel, editor

Published
2016
Full Text
View/download PDF

40. On Q-Resolution and CDCL QBF Solving

Author

Janota, Mikoláš, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Creignou, Nadia, editor, and Le Berre, Daniel, editor

Published
2016
Full Text
View/download PDF

41. MCS Extraction with Sublinear Oracle Queries

Author

Mencía, Carlos, Ignatiev, Alexey, Previti, Alessandro, Marques-Silva, Joao, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Creignou, Nadia, editor, and Le Berre, Daniel, editor

Published
2016
Full Text
View/download PDF

42. nanoCoP: A Non-clausal Connection Prover

Author

Otten, Jens, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Olivetti, Nicola, editor, and Tiwari, Ashish, editor

Published
2016
Full Text
View/download PDF

43. Super-Blocked Clauses

Author

Kiesl, Benjamin, Seidl, Martina, Tompits, Hans, Biere, Armin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Olivetti, Nicola, editor, and Tiwari, Ashish, editor

Published
2016
Full Text
View/download PDF

44. The Next Whisky Bar

Author

Behrisch, Mike, Hermann, Miki, Mengel, Stefan, Salzer, Gernot, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Kulikov, Alexander S., editor, and Woeginger, Gerhard J., editor

Published
2016
Full Text
View/download PDF

45. On the Quantile Cut Closure of Chance-Constrained Problems

Author

Xie, Weijun, Ahmed, Shabbir, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Louveaux, Quentin, editor, and Skutella, Martin, editor

Published
2016
Full Text
View/download PDF

46. The Picat-SAT Compiler

Author

Zhou, Neng-Fa, Kjellerstrand, Håkan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Gavanelli, Marco, editor, and Reppy, John, editor

Published
2016
Full Text
View/download PDF

47. Advancing Software Model Checking Beyond Linear Arithmetic Theories

Author

Mahdi, Ahmed, Scheibler, Karsten, Neubauer, Felix, Fränzle, Martin, Becker, Bernd, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bloem, Roderick, editor, and Arbel, Eli, editor

Published
2016
Full Text
View/download PDF

48. Formula Slicing: Inductive Invariants from Preconditions

Author

Karpenkov, Egor George, Monniaux, David, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bloem, Roderick, editor, and Arbel, Eli, editor

Published
2016
Full Text
View/download PDF

49. Writing Declarative Specifications for Clauses

Author

Gebser, Martin, Janhunen, Tomi, Kaminski, Roland, Schaub, Torsten, Tasharrofi, Shahab, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Michael, Loizos, editor, and Kakas, Antonis, editor

Published
2016
Full Text
View/download PDF

50. Sudoku Colorings of a 16-Cell Pre-fractal

Author

Tsuiki, Hideki, Tsukamoto, Yasuyuki, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Akiyama, Jin, editor, Ito, Hiro, editor, Sakai, Toshinori, editor, and Uno, Yushi, editor

Published
2016
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results