Search results for "Encodings"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
71	Alexander Hertel, Philipp Hertel, Alasdair Urquhart	Formalizing Dangerous SAT Encodings.	SAT	2007	DBLP DOI BibTeX RDF
71	Dawson R. Engler, Wilson C. Hsieh	Derive: a tool that automatically reverse-engineers instruction encodings.	Dynamo	2000	DBLP DOI BibTeX RDF
65	Miroslav N. Velev	Exploiting hierarchy and structure to efficiently solve graph coloring as SAT.	ICCAD	2007	DBLP DOI BibTeX RDF
64	Jeff Clune, Benjamin E. Beckmann, Philip K. McKinley, Charles Ofria	Investigating whether hyperNEAT produces modular neural networks.	GECCO	2010	DBLP DOI BibTeX RDF	developmental encodings, generative encodings, artificial neural networks, modularity, neuroevolution, neat, indirect encodings, hyperneat
61	João Marques-Silva 0001, Inês Lynce	Towards Robust CNF Encodings of Cardinality Constraints.	CP	2007	DBLP DOI BibTeX RDF
58	Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà	Encoding Max-CSP into Partial Max-SAT.	ISMVL	2008	DBLP DOI BibTeX RDF	Minimal Support, Max-CSP, Partial Max-SAT, Encodings
55	Stephan Eggersglüß, Rolf Drechsler	On the Influence of Boolean Encodings in SAT-Based ATPG for Path Delay Faults.	ISMVL	2008	DBLP DOI BibTeX RDF	Boolean Encodings, ATPG, SAT, Path Delay Faults
55	Prasad Pingali, Jagadeesh Jagarlamudi, Vasudeva Varma	WebKhoj: Indian language IR from multiple character encodings.	WWW	2006	DBLP DOI BibTeX RDF	non-standard encodings, web search, Indian languages
52	Miroslav N. Velev, Ping Gao 0002	Comparison of Boolean Satisfiability Encodings on FPGA Detailed Routing Problems.	DATE	2008	DBLP DOI BibTeX RDF
52	Yanpei Chen, Tracy Xiaoxiao Wang, Randy H. Katz	Energy efficient Ethernet encodings.	LCN	2008	DBLP DOI BibTeX RDF
52	Vijay Arya, Thierry Turletti, Shivkumar Kalyanaraman	Encodings of Multicast Trees.	NETWORKING	2005	DBLP DOI BibTeX RDF
49	Alessandro Armando, Luca Compagna, Pierre Ganty	SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis.	FME	2003	DBLP DOI BibTeX RDF	SAT encodings, security protocols, bounded model-checking, SAT-solvers
46	Byung Ro Moon, Chun-Kyung Kim	Genetic VLSI circuit partitioning with dynamic embedding.	KES (2)	1997	DBLP DOI BibTeX RDF
46	K. Rustan M. Leino	Computing Permutation Encodings.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Permutation encodings, Inversion table, Code of an array, Program derivation, Program inversion
43	Sung-Soon Choi, Byung Ro Moon	Normalization for Genetic Algorithms With Nonsynonymously Redundant Encodings.	IEEE Trans. Evol. Comput.	2008	DBLP DOI BibTeX RDF
43	C. Sinan Güntürk	Simultaneous and hybrid beta-encodings.	CISS	2008	DBLP DOI BibTeX RDF
43	Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh	Encodings of the Sequence Constraint.	CP	2007	DBLP DOI BibTeX RDF
43	Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa	Encodings and Arithmetic Operations in Membrane Computing.	TAMC	2006	DBLP DOI BibTeX RDF
43	Dhananjay S. Phatak, Israel Koren	Intermediate Variable Encodings that Enable Multiplexor-Based Implementations of Two Operand Addition.	IEEE Symposium on Computer Arithmetic	1999	DBLP DOI BibTeX RDF
40	Joseph Reisinger, Kenneth O. Stanley, Risto Miikkulainen	Towards an empirical measure of evolvability.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	genetic algorithms, representations, development, evolvability, indirect encodings, genetic regulatory networks
37	Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà	Modelling Max-CSP as Partial Max-SAT.	SAT	2008	DBLP DOI BibTeX RDF
37	Jay Cheng, Tien-Ke Huang, Claudio Weidmann	New Bounds on the Expected Length of Optimal One-to-One Codes.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
37	Jay Cheng, Tien-Ke Huang	Upper bounds on exponentiated expected length of optimal one-to-one codes.	IWCMC	2006	DBLP DOI BibTeX RDF	anti-redundancy, non-prefix codes, one-to-one codes, source coding
37	Jay Cheng, Tien-Ke Huang	New Lower and Upper Bounds on the Expected Length of Optimal One-to-One Codes.	DCC	2006	DBLP DOI BibTeX RDF
37	Steven D. Prestwich	Local Search on SAT-encoded Colouring Problems.	SAT	2003	DBLP DOI BibTeX RDF
37	Christian Bessière, Emmanuel Hebrard, Toby Walsh	Local Consistencies in SAT.	SAT	2003	DBLP DOI BibTeX RDF
37	Mark A. Iwen, Amol Dattatraya Mali	DSatz: A Directional SAT Solver for Planning.	ICTAI	2002	DBLP DOI BibTeX RDF
37	Olivier Raynaud, Eric Thierry	A Quasi Optimal Bit-Vector Encoding of Tree Hierarchies. Application to Efficient Type Inclusion Tests.	ECOOP	2001	DBLP DOI BibTeX RDF
36	Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà	New Insights into Encodings from MaxCSP into Partial MaxSAT.	ISMVL	2010	DBLP DOI BibTeX RDF	MaxCSP, Partial MaxSAT, Encodings
36	Alan M. Frisch, Timothy J. Peugniez, Anthony J. Doggett, Peter Nightingale	Solving Non-Boolean Satisfiability Problems with Stochastic Local Search: A Comparison of Encodings.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	local search, encodings, satisfiability, propositional logic
36	Thomas M. Conte, Sanjeev Banerjia, Sergei Y. Larin, Kishore N. Menezes, Sumedh W. Sathaye	Instruction Fetch Mechanisms for VLIW Architectures with Compressed Encodings.	MICRO	1996	DBLP DOI BibTeX RDF	TINKER experimental testbed, compressed encodings, compressed instruction encoding, i-fetch hardware, instruction fetch mechanisms, instruction words, multiple instruction issue, silo cache, parallel architectures, trace-driven simulations, instruction cache, VLIW architectures
34	Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà	Sequential Encodings from Max-CSP into Partial Max-SAT.	SAT	2009	DBLP DOI BibTeX RDF
34	Adam Poswolsky, Carsten Schürmann 0001	Practical Programming with Higher-Order Encodings and Dependent Types.	ESOP	2008	DBLP DOI BibTeX RDF
34	Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko	Symbolic Step Encodings for Object Based Communicating State Machines.	FMOODS	2008	DBLP DOI BibTeX RDF
34	Chien-Chung Chan, Gwo-Hshiung Tzeng	Computing Approximations of Dominance-Based Rough Sets by Bit-Vector Encodings.	RSCTC	2008	DBLP DOI BibTeX RDF	Dominance-based rough sets, Multiple criteria decision analysis (MCDA), Rough sets, Approximate reasoning
34	Jan Drchal, Miroslav Snorek	Tree-Based Indirect Encodings for Evolutionary Development of Neural Networks.	ICANN (2)	2008	DBLP DOI BibTeX RDF
34	Brecht Wyseur, Wil Michiels, Paul Gorissen, Bart Preneel	Cryptanalysis of White-Box DES Implementations with Arbitrary External Encodings.	Selected Areas in Cryptography	2007	DBLP DOI BibTeX RDF	White-Box Cryptography, Cryptanalysis, DES, Data Encryption Standard, Obfuscation
34	Cosmin Bonchis, Cornel Izbasa, Gabriel Ciobanu	Number Encodings and Arithmetics over Multisets.	SYNASC	2006	DBLP DOI BibTeX RDF
34	Carsten Schürmann 0001, Adam Poswolsky, Jeffrey Sarnat	The [triangle]-Calculus. Functional Programming with Higher-Order Encodings.	TLCA	2005	DBLP DOI BibTeX RDF
34	L. Darrell Whitley, Jonathan E. Rowe	Gray, Binary and Real Valued Encodings: Quad Search and Locality Proofs.	FOGA	2005	DBLP DOI BibTeX RDF
34	Dipankar Das 0002, Rajeev Kumar 0004, P. P. Chakrabarti 0001	Dictionary Based Code Compression for Variable Length Instruction Encodings.	VLSI Design	2005	DBLP DOI BibTeX RDF
34	Nikos Samaras, Kostas Stergiou 0001	Arc Consistency in Binary Encodings of Non-binary CSPs: Theoretical and Experimental Evaluation.	SETN	2004	DBLP DOI BibTeX RDF	Search, Constraint Satisfaction, Constraint Programming
34	Teresa Alsinet, Ramón Béjar, Alba Cabiscol, Cèsar Fernández, Felip Manyà	Minimal and Redundant SAT Encodings for the All-Interval-Series Problem.	CCIA	2002	DBLP DOI BibTeX RDF
34	Wojciech Plandowski, Wojciech Rytter	Application of Lempel-Ziv Encodings to the Solution of Words Equations.	ICALP	1998	DBLP DOI BibTeX RDF
34	Uwe Nestmann, Benjamin C. Pierce	Decoding Choice Encodings.	CONCUR	1996	DBLP DOI BibTeX RDF
30	Paul Tarau	An embedded declarative data transformation language.	PPDP	2009	DBLP DOI BibTeX RDF	computational mathematics, dag and hypergraph encodings, functions and permutations, goedel numberings, hereditarily finite sets, pairing functions, prolog data representations, ranking/unranking bijections, digraph
30	Joseph Reisinger, Risto Miikkulainen	Selecting for evolvable representations.	GECCO	2006	DBLP DOI BibTeX RDF	genetic algorithms, modularity, representations, development, evolvability, indirect encodings, estimation-of-distribution
30	Peter Kornerup	Reviewing 4-to-2 Adders for Multi-Operand Addition.	J. VLSI Signal Process.	2005	DBLP DOI BibTeX RDF	redundant adders, digit sets, digit encodings, multiplier trees
30	Philippe Chatalic, Laurent Simon	Multi-resolution on compressed sets of clauses.	ICTAI	2000	DBLP DOI BibTeX RDF	compressed sets, compressed clauses, propositional clauses, compression power, structured instances, specialized operator, clause sets, polynomial size data structures, ZREs system, Davis-Putnam procedure, hard problems, SAT provers, zero-suppressed binary decision diagrams, computational complexity, data structures, data structures, data compression, theorem proving, computability, encodings, directed graphs, binary decision diagrams, set theory, multi-resolution, cut eliminations, ZBDDs
30	Nick Roussopoulos, Christos Faloutsos, Timos K. Sellis	An Efficient Pictorial Database System for PSQL.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	pictorial database system, PSQL, alphanumeric encodings, R/sup trees, multidimensional B-trees, user interfaces, data structures, data structures, database management systems, query language, query languages, spatial search, spatial objects
30	Jeremias Berg	Solving Optimization Problems via Maximum Satisfiability: Encodings and Re-Encodings.		2018	RDF
28	Jo Wood, Jason Dykes, Aidan Slingsby, Keith C. Clarke	Interactive Visual Exploration of a Large Spatio-temporal Dataset: Reflections on a Geovisualization Mashup.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	Large dataset visualization, applications of infovis, geographic visualization, multiresolution visualization, text and document visualization
28	Fahiem Bacchus	GAC Via Unit Propagation.	CP	2007	DBLP DOI BibTeX RDF
28	Marco Gavanelli	The Log-Support Encoding of CSP into SAT.	CP	2007	DBLP DOI BibTeX RDF
28	António Morgado 0001, Paulo J. Matos, Vasco M. Manquinho, João Marques-Silva 0001	Counting Models in Integer Domains.	SAT	2006	DBLP DOI BibTeX RDF
28	Benjamin Gojman, Eric Rachlin, John E. Savage	Evaluation of design strategies for stochastically assembled nanoarray memories.	ACM J. Emerg. Technol. Comput. Syst.	2005	DBLP DOI BibTeX RDF	Addressing schemes, coupon collector problem, nanowire crossbars, nanotechnology
28	Raymond McDowell, Dale Miller 0001	Reasoning with higher-order abstract syntax in a logical framework.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	induction, Definitions, logical frameworks, higher-order abstract syntax
28	Robert E. Filman	Polychotomic Encoding: A Better Quasi-Optimal Bit-Vector Encoding of Tree Hierarchies.	ECOOP	2002	DBLP DOI BibTeX RDF
28	Michael P. Fourman	Propositional Reasoning.	TACAS	2001	DBLP DOI BibTeX RDF
28	Leszek Gasieniec, Alan Gibbons, Wojciech Rytter	Efficiency of Fast Parallel Pattern Searching in Highly Compressed Texts.	MFCS	1999	DBLP DOI BibTeX RDF
28	B. N. V. Malleswara Gupta, H. Narayanan, Madhav P. Desai	A State Assignment Scheme Targeting Performance and Area.	VLSI Design	1999	DBLP DOI BibTeX RDF
28	Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce	Location-Independent Communication for Mobile Agents: A Two-Level Architecture.	ICCL Workshop: Internet Programming Languages	1998	DBLP DOI BibTeX RDF
28	Chung Nan Lyu, David W. Matula	Redundant Binary Booth Recoding.	IEEE Symposium on Computer Arithmetic	1995	DBLP DOI BibTeX RDF
24	Noga Alon, Rani Hod	Optimal Monotone Encodings.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
24	Olivier Bailleux, Yacine Boufkhad, Olivier Roussel	New Encodings of Pseudo-Boolean Constraints into CNF.	SAT	2009	DBLP DOI BibTeX RDF	Pseudo-Boolean, SAT translation
24	Luca Pulina, Armando Tacchella	Hard QBF Encodings Made Easy: Dream or Reality?	AI*IA	2009	DBLP DOI BibTeX RDF
24	Luca Pulina, Armando Tacchella	Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings.	LPAR	2008	DBLP DOI BibTeX RDF
24	Noga Alon, Rani Hod	Optimal Monotone Encodings.	ICALP (1)	2008	DBLP DOI BibTeX RDF
24	Fabrizio Angiulli, Stefano Basta	Optimal Subset Selection for Classification through SAT Encodings.	IFIP AI	2008	DBLP DOI BibTeX RDF
24	Brigitte Pientka	Proof Pearl: The Power of Higher-Order Encodings in the Logical Framework LF.	TPHOLs	2007	DBLP DOI BibTeX RDF
24	Michael D. Schmidt, Hod Lipson	Comparison of tree and graph encodings as function of problem complexity.	GECCO	2007	DBLP DOI BibTeX RDF	expression graphs, expression trees, symbolic regression
24	Radu Mateescu 0001, Pascal Poizat, Gwen Salaün	Behavioral adaptation of component compositions based on process algebra encodings.	ASE	2007	DBLP DOI BibTeX RDF	behavioral interfaces, adaptation, components, composition, process algebra
24	Christophe Clavier	Secret External Encodings Do Not Prevent Transient Fault Analysis.	CHES	2007	DBLP DOI BibTeX RDF	Physical Attacks, Secret Algorithm, Cryptographic Design, External Encoding, Smart Cards, DES, Fault Analysis
24	Gregory Hornby	Shortcomings with using edge encodings to represent graph structures.	Genet. Program. Evolvable Mach.	2006	DBLP DOI BibTeX RDF	Neural networks, Genetic programming, Graphs, Representations, Circuits
24	Max H. Garzon, Vinhthuy T. Phan, Kiran C. Bobba, Raghuver Kontham	Sensitivity and Capacity of Microarray Encodings.	DNA	2005	DBLP DOI BibTeX RDF	h-distance, DNA chips, genomic analysis, classification and discrimination, data mining, fault-tolerant computing, microarrays, Data representation, Gibbs energy
24	Claudio Ferretti, Giancarlo Mauri	Remarks on Relativisations and DNA Encodings.	Aspects of Molecular Computing	2004	DBLP DOI BibTeX RDF
24	Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran	Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks.	TABLEAUX	2002	DBLP DOI BibTeX RDF
24	Carsten Schürmann	A Type-Theoretic Approach to Induction with Higher-Order Encodings.	LPAR	2001	DBLP DOI BibTeX RDF
24	Daniel G. Bobrow, Douglas W. Clark	Compact Encodings of List Structure.	ACM Trans. Program. Lang. Syst.	1979	DBLP DOI BibTeX RDF
21	Pavel Golodoniuc, Simon J. D. Cox	Geospatial Information Modelling for Interoperable Data Exchange - Application Schema Modelling: From Concept to Implementation.	eScience	2010	DBLP DOI BibTeX RDF	computational geoscience, Application Schema, service interfaces, UML, interoperability, standardization, conceptual modelling, data models, encodings, XML Schema, data exchange, information modelling, GML, Geoscience, OGC
21	Richard E. Korf	Linear-time disk-based implicit graph search.	J. ACM	2008	DBLP DOI BibTeX RDF	Rubik's Cube, magnetic disk storage, permutation encodings, sliding-tile puzzles, External memory, Towers of Hanoi
21	Michele Bugliesi, Marco Giunti	Secure implementations of typed channel abstractions.	POPL	2007	DBLP DOI BibTeX RDF	language encodings, typed behavioral theories, full abstraction
21	Joseph Reisinger, Risto Miikkulainen	Acquiring evolvability through adaptive representations.	GECCO	2007	DBLP DOI BibTeX RDF	genetic algorithms, neural networks, modularity, coevolution, evolvability, indirect encodings, adaptive representations
21	Lila Kari, Stavros Konstantinidis, Elena Losseva, Geoff Wozniak	Sticky-free and overhang-free DNA languages.	Acta Informatica	2003	DBLP DOI BibTeX RDF	Theoretical DNA computing, DNA encodings, codes, formal languages
21	Christopher League, Zhong Shao, Valery Trifonov	Type-preserving compilation of Featherweight Java.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	object encodings, Java, type systems, typed intermediate languages
21	Robert L. Campbell	Representation by Correspondence: An Inadequate Conception of Knowledge for Artifical Systems.	Australian Joint Conference on Artificial Intelligence	1998	DBLP DOI BibTeX RDF	philosophy of mind, interactivism, evolution, representation, encodings, Knowledge, atomism, error, features, symbolic computation, connectionism, foundations
21	Bryant A. Julstrom	Representing rectilinear Steiner trees in genetic algorithms.	SAC	1996	DBLP DOI BibTeX RDF	genetic encodings, trees, spanning, rectilinear Steiner trees
21	Stavros S. Cosmadakis	Logical Reducibility and Monadic NP	FOCS	1993	DBLP DOI BibTeX RDF	syntactically restricted first-order reductions, logical reducibility, monadic NP, polynomial-time many-one reductions, directed reachability, encodings, first-order logic, NP-complete problems, relational structures
19	Aurélien Lemay, Sebastian Maneth, Joachim Niehren	A learning algorithm for top-down XML transformations.	PODS	2010	DBLP DOI BibTeX RDF	myhill-nerode equivalence, tree transformation, minimization, learning algorithm, top-down, transducer
19	David B. Knoester, Heather Goldsby, Philip K. McKinley	Neuroevolution of mobile ad hoc networks.	GECCO	2010	DBLP DOI BibTeX RDF	developmental, neural network, distributed systems, mobile ad-hoc networks, generative, neuroevolution
19	Jean-Sébastien Coron, Avradip Mandal	PSS Is Secure against Random Fault Attacks.	ASIACRYPT	2009	DBLP DOI BibTeX RDF	Probabilistic Signature Scheme, Provable Security, Fault Attacks, Bellcore Attack
19	Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell	Cardinality Networks and Their Applications.	SAT	2009	DBLP DOI BibTeX RDF
19	Jorge Tavares, Francisco Baptista Pereira, Ernesto Costa	Multidimensional Knapsack Problem: A Fitness Landscape Analysis.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
19	Rajeev Kumar 0004, Dipankar Das 0002	Code compression for performance enhancement of variable-length embedded processors.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	bus switching, code decompression, instruction memory, variable-length ISAs, embedded systems, Code compression, RISC processor
19	Songting Chen, Hua-Gang Li, Jun'ichi Tatemura, Wang-Pin Hsiung, Divyakant Agrawal, K. Selçuk Candan	Scalable Filtering of Multiple Generalized-Tree-Pattern Queries over XML Streams.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF
19	William N. L. Browne	Improving Evolutionary Computation Based Data-Mining for the Process Industry: The Importance of Abstraction.	Learning Classifier Systems in Data Mining	2008	DBLP DOI BibTeX RDF
19	Pierre Colomb, Olivier Raynaud, Eric Thierry	Generalized Polychotomic Encoding: A Very Short Bit-Vector Encoding of Tree Hierarchies.	MCO	2008	DBLP DOI BibTeX RDF
19	Tommi A. Junttila, Jori Dubrovin	Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking.	LPAR	2008	DBLP DOI BibTeX RDF
19	Wojciech Fraczak, Wojciech Rytter, Mohammadreza Yazdani	Matching Integer Intervals by Minimal Sets of Binary Words with don't cares.	CPM	2008	DBLP DOI BibTeX RDF
19	Niranjan Shetty, Jerry D. Gibson	Perceptually weighted distortion measures and the tandem connection of speech codecs.	ICASSP	2008	DBLP DOI BibTeX RDF