The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "TPLP"( http://dblp.L3S.de/Venues/TPLP )

URL (DBLP): http://dblp.uni-trier.de/db/journals/tplp

Publication years (Num. hits)
2001 (33) 2002 (22) 2003 (26) 2004 (28) 2005 (28) 2006 (22) 2007 (22) 2008 (28) 2009 (16) 2010 (36) 2011 (45) 2012 (41) 2013 (84) 2014 (44) 2015 (41) 2016 (46) 2017 (43) 2018 (45) 2019 (14)
Publication types (Num. hits)
article(664)
Venues (Conferences, Journals, ...)
TPLP(664)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 664 publication records. Showing 664 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub Multi-shot ASP solving with clingo. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jorge Fandinno, Claudia Schulz 0001 Answering the "why" in answer set programming - A survey of explanation approaches. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christoph Redl Inlining External Sources in Answer Set Programs. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin Debugging Non-ground ASP Programs: Technique and Graphical Tools. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yannis Dimopoulos, Martin Gebser, Patrick Lühne, Javier Romero 0003, Torsten Schaub plasp 3: Towards Effective ASP Planning. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Timothy T. Yuen, Maritza Reyes, Yuanlin Zhang Introducing Computer Science to High School Students Through Logic Programming. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ho-Pun Lam, Mustafa Hashmi Enabling reasoning with LegalRuleML. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Joaquín Arias, Manuel Carro Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christos T. Rodosthenous, Loizos Michael Web-STAR: A Visual Web-based IDE for a Story Comprehension System. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko Hybrid metabolic network completion. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jan Wielemaker, Fabrizio Riguzzi, Robert A. Kowalski, Torbjörn Lager, Fariba Sadri, Miguel Calejo Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefan Ellmauthaler, Claudia Schulz 0001 Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Riccardo Zese, Giuseppe Cota, Evelina Lamma, Elena Bellodi, Fabrizio Riguzzi Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elias Marcopoulos, Yuanlin Zhang onlineSPARC: A Programming Environment for Answer Set Programming. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlos Olarte, Elaine Pimentel, Camilo Rueda A concurrent constraint programming interpretation of access permissions. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Germán Vidal Introduction to the special issue on computational logic for verification. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Scott Pakin Performing fully parallel constraint logic programming on a quantum annealer. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Philipp Obermeier, Torsten Schaub, Michel Ratsch-Heitmann, Mario Runge Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth Parallelism, concurrency and distribution in constraint handling rules: A survey. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son Experimenting with robotic intra-logistics domains. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann Temporal Answer Set Programming on Finite Traces. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tyson Condie, Ariyam Das, Matteo Interlandi, Alexander Shkapsky, Mohan Yang, Carlo Zaniolo Scaling-up reasoning and advanced analytics on BigData. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wlodzimierz Drabent Logic + control: On program construction and verification. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis, Pei-Wei Tsai A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Paul Tarau Introduction to the 34-th international conference on logic programming special issue. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ian P. Gent, Ian Miguel, Peter Nightingale, Ciaran McCreesh, Patrick Prosser, Neil C. A. Moore, Chris Unsworth A review of literature on parallel constraint solving. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro SUNNY-CP and the MiniZinc challenge. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniela Inclezan, Qinglin Zhang, Marcello Balduccini, Ankush Israney An ASP Methodology for Understanding Narratives about Stereotypical Activities. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Zhun Yang Translating LPOD and CR-Prolog2 into standard answer set programs. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce 0001 Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matteo Interlandi, Letizia Tanca A datalog-based computational model for coordination-free, data-parallel systems. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tobias Kaminski, Thomas Eiter, Katsumi Inoue Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rolf Schwitter Specifying and Verbalising Answer Set Programs in Controlled Natural Language. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta Constraint Answer Set Programming without Grounding. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap Shape Neutral Analysis of Graph-based Data-structures. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arindam Mitra, Chitta Baral Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Marco Maratea Shared aggregate sets in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ferdinando Fioretto, Enrico Pontelli Past and present (and future) of parallel and distributed computation in (constraint) logic programming. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Pierre Ganty Tree dimension in verification of constrained Horn clauses. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aleksy Schubert, Pawel Urzyczyn First-order Answer Set Programming as Constructive Proof Search. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Evelina Lamma, Terrance Swift Editorial: 29th International conference on logic programming special issue - ADDENDUM. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Wielemaker, Keri Harris Lock-free atom garbage collection for multithreaded Prolog - ERRATUM. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti Cautious reasoning in ASP via minimal models and unsatisfiable cores. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pedro López-García 0001, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miguel Areias, Ricardo Rocha 0001 Table space designs for implicit and explicit concurrent tabled evaluation. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Yi Wang 0048 A Probabilistic Extension of Action Language ${\cal BC}$+}$. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Scott Warren Top-down and Bottom-up Evaluation Procedurally Integrated. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Stepwise debugging of answer-set programs. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey An iterative approach to precondition inference using constrained Horn clauses. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Predicate Pairing for program verification. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberta Calegari, Enrico Denti, Stefano Mariani 0001, Andrea Omicini Logic programming as a service. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti Solving Horn Clauses on Inductive Data Types Without Induction. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arun Nampally, Timothy Zhang, C. R. Ramakrishnan Constraint-Based Inference in Probabilistic Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Angela Bonifati, Stefania Dumbrava, Emilio Jesús Gallego Arias Certified Graph View Maintenance with Regular Datalog. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marc Dahlem, Anoop Bhagyanath, Klaus Schneider 0001 Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Farhad Shakerin, Elmer Salazar, Gopal Gupta A new algorithm to automate inductive learning of default theories. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcello Balduccini, Yuliya Lierler Constraint answer set solver EZCSP and why integration schemas matter. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia ASPeRiX, a first-order forward chaining approach for answer set computing. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vladimir Lifschitz Achievements in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Nicola Leone, Marco Manna Finite model reasoning over existential rules. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Taisuke Sato A linear algebraic approach to datalog evaluation. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1María Alpuente, Santiago Escobar, Julia Sapiña, Angel Cuenca-Ortega Inspecting Maude variants with GLINTS. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mauricio Osorio 0001, Juan Carlos Nieves Range-based argumentation semantics as two-valued models. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jianmin Ji, Fangfang Liu, Jia-Huai You Well-founded operators for normal hybrid MKNF knowledge bases. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Guido Governatori, Michael J. Maher Annotated defeasible logic. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ruben Verborgh, Dörthe Arndt, Sofie Van Hoecke, Jos De Roo, Giovanni Mels, Thomas Steiner, Joaquim Gabarró The pragmatic proof: Hypermedia API composition and execution. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub Clingo goes linear constraints over reals and integers. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ibrahim Faruk Yalciner, Ahmed Nouman, Volkan Patoglu, Esra Erdem 0001 Hybrid conditional planning using answer set programming. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Panos Rondogiannis, Ioanna Symeonidou The intricacies of three-valued extensional semantics for higher-order logic programs. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ricardo Rocha 0001, Tran Cao Son Introduction to the 33rd international conference on logic programming special issue. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Gavanelli, Maddalena Nonato, Andrea Peano, Davide Bertozzi Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper). Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Dhananjay Raju Program completion in the input language of GRINGO. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roman Barták Constraint Solving and Planning with Picat by Neng-Fa Zhou , Håkan Kjellerstrand , and Jonathan Fruhman , xi + 148 pages, Springer, 2015. Paperback, ISBN 978-3-319-25881-2. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krzysztof R. Apt Computation, Proof, Machine: Mathematics Enters a New Age, Gilles Dowek , Cambridge University Press, 2015. Hardback, ISBN 978-0-521-11801-9, 152 pages. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhuo Chen, Elmer Salazar, Kyle Marple, Gopal Gupta, Lakshman Tamil, Daniel Cheeran, Sandeep Das, Alpesh Amin Improving adherence to heart failure management guidelines via abductive reasoning. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Stefan Woltran When you must forget: Beyond strong persistence when forgetting in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh 0001 Solving distributed constraint optimization problems using logic programming. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Agostino Dovier Preface. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ekaterina Komendantskaya, Yue Li Productive corecursion in logic programming. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub Clingcon: The next generation. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Nikhil Loney, Yunsong Meng Representing hybrid automata by action language modulo theories. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Jurriaan Hage Constraint handling rules with binders, patterns and generic quantification. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker The KB paradigm and its application to interactive configuration. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc CASP solutions for planning in hybrid domains. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Benjamin Susman On relation between constraint answer set programming and satisfiability modulo theories. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mario Alviano Model enumeration in propositional circumscription via unsatisfiable core analysis. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez Temporal logic programs with variables. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joohyung Lee, Samidh Talsania, Yi Wang 0048 Computing LPMLN using ASP and MLN solvers. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlo Zaniolo, Mohan Yang, Ariyam Das, Alexander Shkapsky, Tyson Condie, Matteo Interlandi Fixpoint semantics and optimization of recursive Datalog programs with aggregates. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sergio Antoy, Michael Hanus Default rules for Curry. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Przemyslaw Andrzej Walega, Carl P. L. Schultz, Mehul Bhatt Non-monotonic spatial reasoning with answer set programming modulo theories. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michael J. Maher Contractibility for open global constraints. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leopoldo E. Bertossi, Loreto Bravo Consistency and trust in peer data exchange systems. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1James Cheney, Alberto Momigliano αCheck: A mechanized metatheory model checker. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrew Reynolds, Cesare Tinelli, Clark W. Barrett Constraint solving for finite model finding in SMT solvers. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 664 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license