|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1404 occurrences of 649 keywords
|
|
|
Results
Found 2636 publication records. Showing 2636 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | Du Zhang, Meiliu Lu |
Process Name Resolution in Fault-Tolerant CSP Programs. |
ACM SIGOPS Oper. Syst. Rev. |
1986 |
DBLP DOI BibTeX RDF |
CSP |
28 | Krzysztof R. Apt, Nissim Francez |
Modeling the Distributed Termination Convention of CSP. |
ACM Trans. Program. Lang. Syst. |
1984 |
DBLP DOI BibTeX RDF |
CSP |
28 | Leslie Lamport, Fred B. Schneider |
The "Hoare Logic" of CSP, and All That. |
ACM Trans. Program. Lang. Syst. |
1984 |
DBLP DOI BibTeX RDF |
CSP |
28 | Gael N. Buckley, Abraham Silberschatz |
An Effective Implementation for the Generalized Input-Output Construct of CSP. |
ACM Trans. Program. Lang. Syst. |
1983 |
DBLP DOI BibTeX RDF |
CSP |
28 | Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota 0001 |
Compositional Verification of Input-Output Conformance via CSP Refinement Checking. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Michael Leuschel, Marisa Llorens, Javier Oliver 0001, Josep Silva, Salvador Tamarit |
SOC: a slicer for CSP specifications. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
software engineering, program slicing |
28 | Ákos Horváth 0001, Dániel Varró |
CSP(M): Constraint Satisfaction Problem over Models. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
Constraint satisfaction programming, graph transformation |
28 | Madhur Tulsiani |
CSP gaps and reductions in the lasserre hierarchy. |
STOC |
2009 |
DBLP DOI BibTeX RDF |
constraint satisfaction, semidefinite programming, integrality gaps |
28 | Vladimir G. Deineko, Peter Jonsson, Mikael Klasson, Andrei A. Krokhin |
The approximability of MAX CSP with fixed-value constraints. |
J. ACM |
2008 |
DBLP DOI BibTeX RDF |
Complexity of approximation, maximum constraint satisfaction, dichotomy, Monge properties, supermodularity |
28 | Christopher Mears, Maria J. García de la Banda, Mark Wallace 0001, Bart Demoen |
A Novel Approach For Detecting Symmetries in CSP Models. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Andrei A. Bulatov, Matthew Valeriote |
Recent Results on the Algebraic Approach to the CSP. |
Complexity of Constraints |
2008 |
DBLP DOI BibTeX RDF |
|
28 | A. W. Roscoe 0001 |
The Three Platonic Models of Divergence-Strict CSP. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Frédéric Lardeux, Éric Monfroy, Frédéric Saubion |
Interleaved Alldifferent Constraints: CSP vs. SAT Approaches. |
AIMSA |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Cédric Pinto, Cyril Terrioux |
A New Method for Computing Suitable Tree-Decompositions with Respect to Structured CSP Solving. |
ICTAI (1) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frédéric Benhamou |
A Branch and Bound Algorithm for Numerical MAX-CSP. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu |
Edge Matching Puzzles as Hard SAT/CSP Benchmarks. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
28 | María Cristina Riff, Marcos Zúñiga |
Towards an immune system that solves CSP. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Rajesh K. Thiagarajan, Markus Stumptner |
Service Composition with Consistency-Based Matchmaking: A CSP-Based Approach. |
ECOWS |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Uwe Wolter |
A (Co)Algebraic Analysis of Synchronization in CSP. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
28 | A. W. Roscoe 0001, Zhenzhong Wu |
Verifying Statemate Statecharts Using CSP and FDR. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang 0001, Wei Dong 0006 |
Improvements Towards Formalizing UML State Diagrams in CSP. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Michael J. Butler, Michael Leuschel |
Combining CSP and B for Specification and Property Verification. |
FM |
2005 |
DBLP DOI BibTeX RDF |
Model Checking, Animation, Logic Programming, Constraints, Tool Support, B-Method |
28 | Christie Bolton |
Adding Conflict and Confusion to CSP. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Nicolas Bès, Philippe Jégou |
Proving Graph Un-Colorability with a Consistency Check of CSP. |
ICTAI |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Carlos Grandón, Bertrand Neveu |
Using Constraint Programming for Solving Distance CSP with Uncertainty. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Felix Geller, Michael Veksler |
Assumption-Based Pruning in Conditional CSP. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Joey Hwang, David G. Mitchell |
2-Way vs. d-Way Branching for CSP. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Hubie Chen, Víctor Dalmau |
(Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
28 | A. W. Roscoe 0001 |
Seeing Beyond Divergence. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Alex D. Scott, Gregory B. Sorkin |
Faster Algorithms for MAX CUT and MAX CSP, with Polynomial Expected Time for Sparse Instances. |
RANDOM-APPROX |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Simon de Givry, Javier Larrosa, Pedro Meseguer, Thomas Schiex |
Solving Max-SAT as Weighted CSP. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
28 | S. Hamissi, N. Siyahia, M. Babes |
Proposition of Two Evolutionist Approachs - Genetic Algorithm and Neural Network - To Solve CSP. |
GMAG |
2003 |
DBLP DOI BibTeX RDF |
genetic algorithm, neural network, Artificial Intelligence, Heuristics, Constraint Satisfaction Problem |
28 | Graeme Smith |
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Thierry Petit, Jean-Charles Régin, Christian Bessière |
Range-Based Algorithm for Max-CSP. |
CP |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Geraldo Pereira de Souza, Gerson Henrique Pfitscher |
An Implementation of a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs Based on the CSP Model and Java. |
DS-RT |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Michael Leuschel |
Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
Implementation and Compilation, Verification, Concurrency, Specification |
28 | Michael Leuschel, Thierry Massart, Andrew Currie |
How to Make FDR Spin LTL Model Checking of CSP by Refinement. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Ali E. Abdallah, Mark Green |
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
performance evaluation, animation, visualisation, Communicating Sequential Processes, message-passing algorithms |
28 | Arturo Núñez, María Cristina Riff Rojas |
Evaluating Migration Strategies for an Evolutionary Algorithm Based on the Constraint-Graph that Solves CSP. |
ISMIS |
2000 |
DBLP DOI BibTeX RDF |
|
28 | John Derrick, Graeme Smith 0001 |
Structural Refinement in Object-Z/CSP. |
IFM |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Stephan Pontow |
Modelling CSP Solution Algorithms with Petri Decision Nets. |
CP |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Alvin C. M. Kwan |
Validity of Normality Assumption in CSP Research. |
PRICAI |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Steve A. Schneider, Abraham Sidiropoulos |
CSP and Anonymity. |
ESORICS |
1996 |
DBLP DOI BibTeX RDF |
|
28 | Erling Vagn Sørensen, Jens Nordahl, Niels Herman Hansen |
From CSP Models to Markov Models. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
probabilistic dependability model, trace-based functional model, time homogeneous Markov process, deterministic systems, event occurrences, exponential time distribution, terminal failure, gas burner system, specification, fault tolerant computing, Markov processes, finite automata, safety-critical system, waiting time, communicating sequential process, communicating sequential processes, stochastic, finite automaton |
28 | Rajive L. Bagrodia |
Synchronization of Asynchronous Processes in CSP. |
ACM Trans. Program. Lang. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
28 | A. W. Roscoe 0001, Geoff Barrett |
Unbounded Nondeterminism in CSP. |
Mathematical Foundations of Programming Semantics |
1989 |
DBLP DOI BibTeX RDF |
|
28 | Pierpaolo Degano, Roberto Gorrieri, Sergio Marchetti |
An Exercise in Concurrency: a CSP Process as a Condition/ event System. |
European Workshop on Applications and Theory of Petri Nets |
1987 |
DBLP DOI BibTeX RDF |
|
28 | Gerlinde Schreiber |
Operational Semantics and a Distributed Implementation of CSP. |
MFPS |
1987 |
DBLP DOI BibTeX RDF |
|
28 | Benjamin Satzger, Faruk Bagci, Florian Kluge, Theo Ungerer |
Towards lightweight self-configuration in wireless sensor networks. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
constraint satisfaction problem (CSP), distributed CSP (DCSP), wireless, self-configuration |
28 | Sami Al-Maqtari, Habib Abdulrab |
Controller agent approach for solving DCSP. |
SCSC |
2007 |
DBLP BibTeX RDF |
constraint satisfaction problem (CSP), controller agent, distributed CSP (DCSP), multi-agent system (MAS) |
27 | Xian Zhang, Yang Liu 0003, Mikhail Auguston |
Modeling and Analyzing Timed Security Protocols Using Extended Timed CSP. |
SSIRI |
2010 |
DBLP DOI BibTeX RDF |
Constraint Logic Programm, verifictaion, Security Protocol, extension, Timed CSP |
27 | Noriki Ogura, Keizo Saisho, Akira Fukuda |
Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
process replication, distributed system, client-server system, formal description, Timed CSP |
27 | M. Collado, R. Morales, J. J. Moreno |
A Modula-2 Implementation of CSP. |
ACM SIGPLAN Notices |
1987 |
DBLP DOI BibTeX RDF |
CSP Modula-2 |
26 | Hadiseh Pourali, Hesam Omranpour |
CSP-Ph-PS: Learning CSP-phase space and Poincare sections based on evolutionary algorithm for EEG signals recognition. |
Expert Syst. Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Mustapha Moufassih, Ousama Tarahi, Soukaina Hamou, Said Agounad, Hafida Idrissi Azami |
An empirical study to evaluate feature extraction approaches CSP, TSM, and CSP-TSM on a MI-BCI under distraction. |
SMC |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Joabe Jesus, Augusto Sampaio |
Compositional Verification of Simulink Block Diagrams Using tock-CSP and CSP-Prover. |
SBMF |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Xuan Li, Xuebin Wang, Fan Li, Tao Niu, Guoqiang Lu, Yue Sun, Wei Huang, Bo Hu, Kaigui Xie |
Wind-Thermal-CSP Bundling Model With an Adjustable Heat Storage Strategy for CSP Stations. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Lukas Weichselbaum, Michele Spagnuolo, Sebastian Lekies, Artur Janc |
CSP Is Dead, Long Live CSP! On the Insecurity of Whitelists and the Future of Content Security Policy. |
CCS |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Blanca Corona, Diego Ruiz, Guillermo San Miguel |
Environmental Assessment of a HYSOL CSP Plant Compared to a Conventional Tower CSP Plant. |
ANT/SEIT |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Mohammed Bekkouche |
Combinaison des techniques de Bounded Model Checking et de programmation par contraintes pour l'aide à la localisation d'erreurs : exploration des capacités des CSP pour la localisation d'erreurs. (Combining techniques of Bounded Model Checking and constraint programming to aid for error localization : exploration of CSP capacities for error localization). |
|
2015 |
RDF |
|
26 | Michael Weissbacher, Tobias Lauinger, William K. Robertson |
Why Is CSP Failing? Trends and Challenges in CSP Adoption. |
RAID |
2014 |
DBLP DOI BibTeX RDF |
|
26 | William B. Gardner, Yuriy Solovyov |
Supporting Timed CSP Operators in CSP++. |
CPA |
2012 |
DBLP BibTeX RDF |
|
26 | Jun Hu 0008 |
Algorithms for irreducible infeasible subset detection in CSP - Application to frequency planning and graph k-coloring. (Algorithmes pour la détection d'un sous ensemble irréalisable irréductible dans un CSP - Applications aux problèmes d'affectation des fréquences et problème de k-coloration). |
|
2012 |
RDF |
|
26 | Subbarao Kambhampati |
Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan |
CoRR |
2011 |
DBLP BibTeX RDF |
|
26 | Moritz Kleine |
CSP as a Coordination Language: A CSP-based Approach to the Coordination of Concurrent Systems. |
|
2011 |
RDF |
|
26 | Mohammad Dib |
Tabu-NG : hybridation de programmation par contraintes et recherche locale pour la résolution de CSP. (Tabu-NG : hybridization of constraint programming and local search for solving CSP). |
|
2010 |
RDF |
|
26 | Matthias Westphal, Stefan Wölfl 0001 |
Qualitative CSP, Finite CSP, and SAT: Comparing Methods for Qualitative Constraint-based Reasoning. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
26 | Marie de Roquemaurel |
Planification de coût optimal basée sur les CSP pondérés. (A weighted CSP approach to cost-optimal planning). |
|
2009 |
RDF |
|
26 | Yoshinao Isobe, Markus Roggenbach |
Proof Principles of CSP - CSP-Prover in Practice. |
LDIC |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Tony Lambert |
Hybridation de méthodes complètes et incomplètes pour la résolution de CSP. (Hybridization of complet and incomplete methods tosolve CSP). |
|
2006 |
RDF |
|
26 | Subbarao Kambhampati |
Planning Graph as a (Dynamic) CSP: Exploiting EBL, DDB and other CSP Search Techniques in Graphplan. |
J. Artif. Intell. Res. |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Jan-Juan Hiemer |
Statecharts in CSP - ein Prozeßmodell in CSP zur Analyse von Statemate-Statecharts. |
|
1999 |
RDF |
|
26 | William B. Gardner |
CSP++: an object-oriented application framework for software synthesis from CSP specifications. |
|
1999 |
RDF |
|
26 | Luc Bougé |
Modularité et symétrie pour les systèmes répartis; application au langage CSP. (Modularity and Symmetry for Distributed System; Application to the CSP Language). |
|
1987 |
RDF |
|
26 | Wolfgang Jürgensen, Son T. Vuong |
CSP and CSP Nets: A Dual Model for Protocol Specification and Verification. |
PSTV |
1984 |
DBLP BibTeX RDF |
|
26 | A. W. Roscoe 0001 |
Specifying problem one using the failure sets model for CSP and deriving CSP processes which meett this specification. |
The Analysis of Concurrent Systems |
1983 |
DBLP DOI BibTeX RDF |
|
26 | J. M. Adamo |
PASCAL + CSP, Merging PASCAL and CSP in a parallel processing oriented language. |
ICDCS |
1982 |
DBLP BibTeX RDF |
|
22 | Frank Zeyda, Ana Cavalcanti 0001 |
Mechanised Translation of Control Law Diagrams into Circus. |
IFM |
2009 |
DBLP DOI BibTeX RDF |
ClawZ, verification, CSP, Z, Simulink |
22 | Gavin Lowe |
Specification of communicating processes: temporal logic versus refusals-based refinement. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Refinement testing, Specification, Temporal logic, CSP, Refusals |
22 | John P. McDermott, Leo Freitas |
A formal security policy for xenon. |
FMSE |
2008 |
DBLP DOI BibTeX RDF |
refinement, open-source, z, csp, hypervisor, information-flow security, circus |
22 | David P. Pereira, Ana Cristina Vieira de Melo |
A formal architectural model for exception handling coordination. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
exception handling coordination, CSP, fault-tolerant architecture |
22 | Ashley T. McNeile, Ella E. Roubtsova |
Executable Protocol Models as a Requirements Engineering Tool. |
Annual Simulation Symposium |
2008 |
DBLP DOI BibTeX RDF |
event protocols, composition, requirements, CSP, model execution |
22 | Santhosh Coimbatore Vaidyanathan, Amit Mangesh Brahme, Sukumar Jairam |
Techniques for Early Package Closure in System-in-Packages. |
ISQED |
2008 |
DBLP DOI BibTeX RDF |
spacer, landing, SoC, SIP, CSP, MCM, POP |
22 | Dénes Bisztray, Reiko Heckel, Hartmut Ehrig |
Verification of Architectural Refactorings by Rule Extraction. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
UML, Service Oriented Architecture, Refactoring, CSP, Graph Transformation |
22 | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
Proving Linearizability Via Non-atomic Refinement. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
refinement, CSP, Object-Z, linearizability, concurrent access |
22 | Hyun Seok Kim, Jung-Hyun Oh, Jin-Young Choi, Jin-Woo Kim |
The Vulnerabilities Analysis and Design of the Security Protocol for RFID System. |
CIT |
2006 |
DBLP DOI BibTeX RDF |
Model Checking, CSP, FDR, RFID Security, Casper |
22 | Hyun Seok Kim, Jeong-Hyun Oh, Jin-Young Choi |
Security Analysis of RFID Authentication for Pervasive Systems using Model Checking. |
COMPSAC (2) |
2006 |
DBLP DOI BibTeX RDF |
Model Checking, CSP, FDR, RFID Security, Casper |
22 | Tony Lambert, Carlos Castro 0001, Éric Monfroy, Frédéric Saubion |
Solving the Balanced Academic Curriculum Problem with an Hybridization of Genetic Algorithm and Constraint Propagation. |
ICAISC |
2006 |
DBLP DOI BibTeX RDF |
hybrid resolution, genetic algorithms, CSP, constraint propagation |
22 | Samuel Wieczorek, Gilles Bisson, Mirta B. Gordon |
Guiding the Search in the NO Region of the Phase Transition Problem with a Partial Subsumption Test. |
ECML |
2006 |
DBLP DOI BibTeX RDF |
similarity index, ?-subsumption, partial subsumption, CSP, Inductive Logic Programming, phase transition |
22 | Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001 |
Unifying classes and processes. |
Softw. Syst. Model. |
2005 |
DBLP DOI BibTeX RDF |
Integration, Refinement, CSP, Z |
22 | Weihang Wu, Tim Kelly |
Failure modelling in software architecture design for safety. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
software architectures, CSP, safety analysis, failure modelling |
22 | Junrong Shen, Xi Sun, Gang Huang 0001, Wenpin Jiao, Yanchun Sun, Hong Mei 0001 |
Towards a unified formal model for supporting mechanisms of dynamic component update. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
architectural connector, software architecture, CSP, dynamic update |
22 | Hon Wai Chun, Rebecca Y. M. Wong |
CLSS: An Intelligent Crane Lorry Scheduling System. |
Appl. Intell. |
2004 |
DBLP DOI BibTeX RDF |
vehicle scheduling, optimization, CSP, constraint programming, constraint satisfaction problem |
22 | Joy N. Reed, Jane E. Sinclair, A. W. Roscoe 0001 |
Responsiveness of interoperating components. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Refinement, CSP, Deadlock, Responsiveness, Component-based systems |
22 | Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001 |
A Refinement Strategy for Circus. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Concurrency, CSP, Z, Program development |
22 | Wing Lok Yeung, Karl R. P. H. Leung |
A Synergistic Interweaving of Formal and Informal Methods. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
Informal Methods, JSD, Formal Methods, CSP, Structured Methods, Method Integration |
22 | Arash Saifhashemi, Hossein Pedram |
Verilog HDL, powered by PLI: a suitable framework for describing and modeling asynchronous circuits at all levels of abstraction. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
CHP, PLI, CSP, asynchronous circuits, channel, verilog |
22 | Fabrice Bouquet, Bruno Legeard, Fabien Peureux |
CLPS-B - A Constraint Solver for B. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
Evaluation of specifications, Animation, CSP, B Method, Set constraints, CLP |
22 | Thi-Bich-Hanh Dao, Arnaud Lallouet, Andrei Legtchenko, Lionel Martin |
Indexical-Based Solver Learning. |
CP |
2002 |
DBLP DOI BibTeX RDF |
rule-based constraint solver, learning, consistency, CSP |
Displaying result #401 - #500 of 2636 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|