|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 304 occurrences of 253 keywords
|
|
|
|
|
Results
Found 276 publication records. Showing 276 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Michael Spahn, Volker Wulf |
End-User Development for Individualized Information Management: Analysis of Problem Domains and Solution Approaches.  |
ICEIS  |
2009 |
DBLP DOI BibTeX RDF |
Empirical Studies, Information Management, End-User Development, Information System Design |
| 2 | Kristopher Welsh, Peter Sawyer |
When to Adapt? Identification of Problem Domains for Adaptive Systems.  |
REFSQ  |
2008 |
DBLP DOI BibTeX RDF |
Adaptive systems, non-functional requirements |
| 2 | Yi Zhang 0006, W. Nick Street, Samuel Burer |
Sharing Classifiers among Ensembles from Related Problem Domains.  |
ICDM  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Chris Matthews, Paul A. Swatman |
Fuzzy concepts and formal methods: some illustrative examples.  |
APSEC  |
2000 |
DBLP DOI BibTeX RDF |
fuzzy concepts, problem types, fuzzy logic toolkit, problem domains, soft preconditions, linguistically quantified propositions, modelling, formal specification, formal methods, fuzzy logic, information systems, requirements engineering, uncertainty, specification languages, specification languages, formal modelling, fuzzy set theory, fuzzy set theory, uncertainty handling, fuzzy relations, system requirements, imprecision, Z language |
| 1 | Pierre Lorrentz, W. Gareth J. Howells, Klaus D. McDonald-Maier |
An advanced combination strategy for multi-classifiers employed in large multi-class problem domains.  |
Appl. Soft Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolan Abdukalykov, Ishrar Hussain, Mohamad Kassab, Olga Ormandjieva |
Quantifying the Impact of Different Non-functional Requirements and Problem Domains on Software Effort Estimation.  |
SERA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Law |
Using student blogs for documentation in software development projects.  |
ITiCSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Little |
Exploring iterative and parallel human computation processes.  |
CHI Extended Abstracts  |
2010 |
DBLP DOI BibTeX RDF |
human computation, mechanical turk |
| 1 | Peter Lichodzijewski, Malcolm I. Heywood |
Symbiosis, complexification and simplicity under GP.  |
GECCO  |
2010 |
DBLP DOI BibTeX RDF |
complexity, feature selection, genetic programming, problem decomposition, symbiosis |
| 1 | Julian Francis Miller, Simon L. Harding |
Cartesian genetic programming.  |
GECCO (Companion)  |
2010 |
DBLP DOI BibTeX RDF |
genetic programming |
| 1 | Frank Neumann, Dirk Sudholt, Carsten Witt |
A few ants are enough: ACO with iteration-best update.  |
GECCO  |
2010 |
DBLP DOI BibTeX RDF |
iteration-best update, theory, ant colony optimization, runtime analysis |
| 1 | Jeremy G. Siek |
General purpose languages should be metalanguages.  |
PEPM  |
2010 |
DBLP DOI BibTeX RDF |
domain-specific embedded languages, reflection, metaprogramming, multi-stage programming |
| 1 | Stephanie Balzer, Thomas R. Gross |
Modular reasoning about invariants over shared state with interposed data members.  |
PLPV  |
2010 |
DBLP DOI BibTeX RDF |
ownership type systems, invariants |
| 1 | Iván García-Magariño, Massimo Cossentino, Valeria Seidita |
A metrics suite for evaluating agent-oriented architectures.  |
SAC  |
2010 |
DBLP DOI BibTeX RDF |
multi-agent systems, architectures, metrics, agent-oriented software engineering |
| 1 | Edmund K. Burke, Timothy Curtois, Graham Kendall, Matthew R. Hyde, Gabriela Ochoa, José Antonio Vázquez Rodríguez |
Towards the decathlon challenge of search heuristics.  |
GECCO (Companion)  |
2009 |
DBLP DOI BibTeX RDF |
combinatorial optimization, metaheuristics, software framework, hyperheuristics |
| 1 | Jamie Cullen |
Evolutionary meta programming.  |
GEC Summit  |
2009 |
DBLP DOI BibTeX RDF |
evolutionary meta compilation, evolutionary meta programming, genetic programming, evolutionary computation, grammatical evolution |
| 1 | Matthias J. Linhardt, Martin V. Butz |
NEAT in increasingly non-linear control situations.  |
GECCO (Companion)  |
2009 |
DBLP DOI BibTeX RDF |
adaptive control, neuroevolution, neat, dynamic control |
| 1 | Julian Francis Miller, Simon L. Harding |
Cartesian genetic programming.  |
GECCO (Companion)  |
2009 |
DBLP DOI BibTeX RDF |
genetic programming, evolutionary computation |
| 1 | James R. Cordy |
Eating our own dog food: DSLs for generative and transformational engineering.  |
GPCE  |
2009 |
DBLP DOI BibTeX RDF |
source transformation systems, domain-specific languages, model driven engineering, generative programming |
| 1 | Jeremy T. Engle, Edward L. Robertson |
Depth first algorithms and inferencing for AFD mining.  |
IDEAS  |
2009 |
DBLP DOI BibTeX RDF |
Lozenge Search, approximate functional dependencies, powerset lattices, data mining, depth first search |
| 1 | Michael I. Jordan |
Combinatorial stochastic processes and nonparametric Bayesian modeling.  |
SODA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuai Ding, Jinru He, Hao Yan, Torsten Suel |
Using graphics processors for high performance IR query processing.  |
WWW  |
2009 |
DBLP DOI BibTeX RDF |
ir query processing, search engines, GPU, index compression |
| 1 | Vladimir Stantchev, Marten Schönherr, Jens Dietrich |
Layered Government and E-Citizenship: Objectives and Technical Challenges in the EU.  |
ICIW  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Yoshikawa, Shinpei Hayashi, Motoshi Saeki |
Recovering traceability links between a simple natural language sentence and source code using domain ontologies.  |
ICSM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey M. Draper, Yarden Livnat, Richard F. Riesenfeld |
A Survey of Radial Methods for Information Visualization.  |
IEEE Trans. Vis. Comput. Graph.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Petersen, Josiah Poon |
Reworking Bridging for Use within the Image Domain.  |
CAIP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Serdar Kadioglu, Meinolf Sellmann |
Dialectic Search.  |
CP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Václav Gerla, Vladana Djordjevic, Lenka Lhotská, Vladimir Krajca |
System Approach to Complex Signal Processing Task.  |
EUROCAST  |
2009 |
DBLP DOI BibTeX RDF |
PSG, neonatal, clustering, classification, segmentation, EEG, sleep |
| 1 | Shinichi Shirakawa, Tomoharu Nagao |
Evolution of Search Algorithms Using Graph Structured Program Evolution.  |
EuroGP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Veenhuis |
Tree Based Differential Evolution.  |
EuroGP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard W. Selby |
Synthesis, Analysis, and Modeling of Large-Scale Mission-Critical Embedded Software Systems.  |
ICSP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob Arthan |
Computational Logic and Continuous Mathematics, Pure and Applied.  |
Calculemus/MKM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska |
Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control.  |
SAFECOMP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Pulina, Armando Tacchella |
A self-adaptive multi-engine solver for quantified Boolean formulas.  |
Constraints  |
2009 |
DBLP DOI BibTeX RDF |
Self-adaptive multi-engine solver, AQME, Quantified Boolean formulas |
| 1 | Per Kristian Lehre, Xin Yao |
Runtime analysis of search heuristics on software engineering problems.  |
Frontiers of Computer Science in China  |
2009 |
DBLP DOI BibTeX RDF |
software engineering, evolutionary algorithms, runtime analysis |
| 1 | Rob Arthan |
Mechanized Reasoning for Continuous Problem Domains (Invited Talk).  |
PAAR/ESHOL  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Maumita Bhattacharya |
A synergistic approach for evolutionary optimization.  |
GECCO (Companion)  |
2008 |
DBLP DOI BibTeX RDF |
evolutionary algorithm, premature convergence, population |
| 1 | Erik J. Dries, Gilbert L. Peterson |
Scaling ant colony optimization with hierarchical reinforcement learning partitioning.  |
GECCO  |
2008 |
DBLP DOI BibTeX RDF |
swarm intelligence, ant colony optimization, hierarchical reinforcement learning |
| 1 | Gearoid Murphy, Conor Ryan |
Exploiting the path of least resistance in evolution.  |
GECCO  |
2008 |
DBLP DOI BibTeX RDF |
bloat control, genetic programming |
| 1 | Patrick O. Stalph, Martin V. Butz |
Towards increasing learning speed and robustness of XCSF: experimenting with larger offspring set sizes.  |
GECCO (Companion)  |
2008 |
DBLP DOI BibTeX RDF |
reproduction, learning classifier systems, selection pressure, XCSF |
| 1 | Hayoung Kim, Jaeil Hwang, Bowon Suh, Yunmook Nah, Hyung-Soo Mok |
Semi-automatic ontology construction for visual media web service.  |
ICUIMC  |
2008 |
DBLP DOI BibTeX RDF |
visual media data retrieval, data mining, web service, semantic web, WordNet, ontology construction |
| 1 | Ulises Juárez-Martínez, José Oscar Olmedo-Aguirre |
Énfasis: a model for local variable crosscutting.  |
SAC  |
2008 |
DBLP DOI BibTeX RDF |
fine aspects, local variable crosscutting, local variable pointcut, program transformation |
| 1 | Shuai Ding, Jinru He, Hao Yan, Torsten Suel |
Using graphics processors for high-performance IR query processing.  |
WWW  |
2008 |
DBLP DOI BibTeX RDF |
query processing, gpu |
| 1 | He Zhang, Barbara Kitchenham, Dietmar Pfahl |
Software Process Simulation Modeling: Facts, Trends and Directions.  |
APSEC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Minyoung Kim, Vladimir Pavlovic |
Dimensionality reduction using covariance operator inverse regression.  |
CVPR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdunnaser Diaf, Nasser Noroozi |
Some practical issues on implementing distributed multi-agent reasoning systems.  |
EIT  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Margarita Razgon, Gregory M. Provan |
Adding Flexibility to Russian Doll Search.  |
ICTAI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Luo, Jeffrey J. P. Tsai |
A Framework for Extrusion Detection Using Machine Learning.  |
ISORC  |
2008 |
DBLP DOI BibTeX RDF |
extrusion detection, machine learning, intrusion detection |
| 1 | Robert H. Kewley, James Cook, Niki Goerger, Dale Henderson, Edward Teague |
Federated simulations for systems of systems integration.  |
Winter Simulation Conference  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Huiru Zheng, Haiying Wang, Francisco Azuaje |
Improving Pattern Discovery and Visualization of SAGE Data Through Poisson-Based Self-Adaptive Neural Networks.  |
IEEE Transactions on Information Technology in Biomedicine  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis F. Wolf, Gaurav S. Sukhatme |
Semantic Mapping Using Mobile Robots.  |
IEEE Transactions on Robotics  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucian Busoniu, Robert Babuska, Bart De Schutter |
A Comprehensive Survey of Multiagent Reinforcement Learning.  |
IEEE Transactions on Systems, Man, and Cybernetics, Part C  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karen H. Jin, Dan Wu |
Towards a Faster Inference Algorithm in Multiply Sectioned Bayesian Networks.  |
Canadian Conference on AI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Teodor Rus |
Liberate Computer User from Programming.  |
AMAST  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Iván García-Magariño, Jorge J. Gómez-Sanz, Rubén Fuentes-Fernández |
An Evaluation Framework for MAS Modeling Languages Based on Metamodel Metrics.  |
AOSE  |
2008 |
DBLP DOI BibTeX RDF |
evaluation, multi-agent system, Metric, metamodel, modeling language |
| 1 | Gearoid Murphy, Conor Ryan |
A Simple Powerful Constraint for Genetic Programming.  |
EuroGP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | João Marques-Silva, Inês Lynce, Vasco M. Manquinho |
Symmetry Breaking for Maximum Satisfiability.  |
LPAR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Pulina, Armando Tacchella |
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings.  |
LPAR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Todman, Haohuan Fu, Brittle Tsoi, Oskar Mencer, Wayne Luk |
Smart Enumeration: A Systematic Approach to Exhaustive Search.  |
PATMOS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Veenhuis |
A Set-Based Particle Swarm Optimization Method.  |
PPSN  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Missine, William S. Havens |
Probabilistic Nogood Store as a Heuristic.  |
PRICAI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Holz, Rahul Premraj, Thomas Zimmermann, Andreas Zeller |
Predicting Software Metrics at Design Time.  |
PROFES  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Angus, Adam Deller |
Computational Intelligence in Radio Astronomy: Using Computational Intelligence Techniques to Tune Geodesy Models.  |
SEAL  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leszek Gasieniec, Tomasz Radzik |
Memory Efficient Anonymous Graph Exploration.  |
WG  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yogesh Singh, Arvinder Kaur, Ruchika Malhotra |
Predicting Software Fault Proneness Model Using Neural Network.  |
XP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiefei Ma, Alessandra Russo, Krysia Broda, Keith Clark |
DARE: a system for distributed abductive reasoning.  |
Autonomous Agents and Multi-Agent Systems  |
2008 |
DBLP DOI BibTeX RDF |
Distributed inference, Multi-thread Prolog, Abduction |
| 1 | Ghim-Eng Yap, Ah-Hwee Tan, HweeHwa Pang |
Explaining inferences in Bayesian networks.  |
Appl. Intell.  |
2008 |
DBLP DOI BibTeX RDF |
Error values, Bayesian networks, Inferences, Explanations, Compensations, Missing values |
| 1 | Kaustuv Chaudhuri, Frank Pfenning, Greg Price |
A Logical Characterization of Forward and Backward Chaining in the Inverse Method.  |
J. Autom. Reasoning  |
2008 |
DBLP DOI BibTeX RDF |
SLD resolution, Hyperresolution, Intuitionistic linear logic, Focusing, Inverse method |
| 1 | Andrew Hamilton-Wright, Daniel W. Stashuk |
Statistically Based Pattern Discovery Techniques for Biological Data Analysis.  |
Applications of Computational Intelligence in Biology  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Leray, Stijn Meganck, Sam Maes, Bernard Manderick |
Causal Graphical Models with Latent Variables: Learning and Inference.  |
Innovations in Bayesian Networks  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Matthews, Esther Scheurmann |
Ensembles of Classifiers in Arrears Management.  |
Soft Computing Applications in Business  |
2008 |
DBLP DOI BibTeX RDF |
neural network and rule based ensembles, data set imbalance, loan default, arrears management |
| 1 | Chun-Kit Au, Ho-Fung Leung |
Guided mutations in cooperative coevolutionary algorithms for function optimization.  |
GECCO  |
2007 |
DBLP DOI BibTeX RDF |
guided mutation, cooperative coevolution |
| 1 | Maumita Bhattacharya |
Expensive optimization, uncertain environment: an EA-based solution.  |
GECCO (Companion)  |
2007 |
DBLP DOI BibTeX RDF |
evolutionary algorithm, approximation, premature convergence |
| 1 | Martin V. Butz |
Learning classifier systems.  |
GECCO (Companion)  |
2007 |
DBLP DOI BibTeX RDF |
ALCS, classification, prediction, reinforcement learning, XCS, function approximation |
| 1 | Alp Emre Kanlikilicer, Ali Keles, Sima Uyar |
Experimental analysis of binary differential evolution in dynamic environments.  |
GECCO (Companion)  |
2007 |
DBLP DOI BibTeX RDF |
binary differential evolution, dynamic bit matching, differential evolution, dynamic optimization problems |
| 1 | Sanaz Mostaghim, Jürgen Branke, Hartmut Schmeck |
Multi-objective particle swarm optimization on computer grids.  |
GECCO  |
2007 |
DBLP DOI BibTeX RDF |
MOPSO, grid computing, particle swarm optimization, multi-objective optimization, parallel optimization |
| 1 | Markus Püschel |
Can we teach computers to write fast libraries?  |
GPCE  |
2007 |
DBLP DOI BibTeX RDF |
parallelization, domain-specific language, automation, vectorization, high performance, fourier transform, matrix algebra, rewriting, program generation |
| 1 | Todd L. Veldhuizen |
Parsimony principles for software components and metalanguages.  |
GPCE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Ghodsi, Seif Haridi, Hakim Weatherspoon |
Exploiting the synergy between gossiping and structured overlays.  |
Operating Systems Review  |
2007 |
DBLP DOI BibTeX RDF |
gossip-based algorithms, distributed hash tables, structured overlay networks |
| 1 | Zhiming Zhao, Adam Belloum, Cees T. A. M. de Laat, Pieter W. Adriaans, Bob Hertzberger |
Using Jade agent framework to prototype an e-Science workflow bus.  |
CCGRID  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maumita Bhattacharya |
Surrogate based EA for expensive optimization problems.  |
IEEE Congress on Evolutionary Computation  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sadaf R. Alam, Jeremy S. Meredith, Jeffrey S. Vetter |
Balancing productivity and performance on the cell broadband engine.  |
CLUSTER  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Fu, Qiang Shen, Ruiqing Zhao |
Towards Fuzzy Compositional Modelling.  |
FUZZ-IEEE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiromitsu Hattori, Mark Klein, Takayuki Ito |
A Multi-Phase Protocol for Negotiation with Interdependent Issues.  |
IAT  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John Porter, Sandip Sen |
Searching for Collaborators in Agent Networks.  |
Web Intelligence/IAT Workshops  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cortland Starrett |
Teaching UML Modeling Before Programming at the High School Level.  |
ICALT  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric P. Kasten, Philip K. McKinley, Stuart H. Gage |
Automated Ensemble Extraction and Analysis of Acoustic Data Streams.  |
ICDCS Workshops  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Zucker, James J. Kuffner, Michael S. Branicky |
Multipartite RRTs for Rapid Replanning in Dynamic Environments.  |
ICRA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Kit Au, Ho-Fung Leung |
Guided Mutations in Cooperative Coevolutionary Algorithms for Function Optimization.  |
ICTAI  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Naiwen Lin, Ugur Kuter, James A. Hendler |
Web Service Composition via Problem Decomposition Across Multiple Ontologies.  |
IEEE SCW  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dulany B. Weaver, Michael J. Healy, Thomas P. Caudell |
An Application of Category-Theoretic Design Methods to the Control of a Simulated Robot.  |
IJCNN  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Angus |
Population-Based Ant Colony Optimisation for Multi-objective Function Optimisation.  |
ACAL  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Xiang, Wanling Zhang |
Multiagent Constraint Satisfaction with Multiply Sectioned Constraint Networks.  |
Canadian Conference on AI  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Lohfink, Tom W. Carnduff, Nathan Thomas, J. Mark Ware |
Representation and Management of Evolving Features in OS MasterMap ITN Data.  |
BNCOD  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Zhao, Chris Bailey-Kellogg, Xingang Huang, Iván Ordóñez |
Structure Discovery from Massive Spatial Data Sets Using Intelligent Simulation Tools.  |
Computational Discovery of Scientific Knowledge  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhihui Luo, David A. Bell, Barry McCollum |
Skill Combination for Reinforcement Learning.  |
IDEAL  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang |
Verification of Multi-agent Negotiations Using the Alloy Analyzer.  |
IFM  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaume Bacardit, Ester Bernadó-Mansilla, Martin V. Butz |
Learning Classifier Systems: Looking Back and Glimpsing Ahead.  |
IWLCS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kui Yu, Hao Wang, Xindong Wu |
A Parallel Algorithm for Learning Bayesian Networks.  |
PAKDD  |
2007 |
DBLP DOI BibTeX RDF |
structural EM, MPI library, parallel EM, parallel processing, Bayesian networks |
| 1 | Carla P. Gomes, Jörg Hoffmann, Ashish Sabharwal, Bart Selman |
Short XORs for Model Counting: From Theory to Practice.  |
SAT  |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 276 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|